rulinux.net - Все о GNU/Linux и не только - Форум - Development - c++ final class почему компилятор не делает inline

c++ final class почему компилятор не делает inline

cpp

        struct A

        {

            virtual long fun(long a)

            {

                return a+11;

            }

        };

        struct A2

        {

            virtual long fun2(long a)

            {

                return a+44;

            }

        };

        struct C: public A

        {

            long fun(long a) final

            {

                return a+33;

            }

        };

        struct D final: public A2

        {

        };

        long gmain(long j, C &c, D &d)

        {

            j = c.fun(j);   // direct   j = j1 + 33

            j*=141;         // 45 * (j1+33) * 141 = j1*141 + 4653

            j = d.fun2(j);  // direct?  j = j1*141 + 4697

            j*=151;         // == j1*21291 + 709247

            return j;

        }

результат (gcc 5.3.0), /opt/gdc/bin/g++ -std=c++11 -O3 -S virt-cpp-inline.cpp

asm

    .globl  _Z5gmainlR1CR1D

    .type   _Z5gmainlR1CR1D, @function

_Z5gmainlR1CR1D:

.LFB3:

    .cfi_startproc

    leaq    33(%rdi), %rax               << inline

    imulq   $141, %rax, %rsi

    movq    (%rdx), %rax

    movq    (%rax), %rax

    cmpq    $_ZN2A24fun2El, %rax

    jne .L3                                      << virtual inline ?

    leaq    44(%rsi), %rax

    imulq   $151, %rax, %rax

    ret

    .p2align 4,,10

    .p2align 3

.L3:

    subq    $8, %rsp

    .cfi_def_cfa_offset 16

    movq    %rdx, %rdi

    call    *%rax

    addq    $8, %rsp

    .cfi_def_cfa_offset 8

    imulq   $151, %rax, %rax

    ret

    .cfi_endproc

anonymous(*) (2016-03-18 14:06:48)

Opera/9.80 (X11; Linux x86_64) Presto/2.12.388 Version/12.16

[Ответить на это сообщение]

Ответ на: c++ final class почему компилятор не делает inline от anonymous 2016-03-18 14:06:48

Скрыть

Re: c++ final class почему компилятор не делает inline

один вызов развернул, второй вообще оставил виртуальным.

Это баг или я чего-то не понимаю в final ?

anonymous(*)(2016-03-18 14:08:55)

Opera/9.80 (X11; Linux x86_64) Presto/2.12.388 Version/12.16

[Ответить на это сообщение]

Ответ на: Re: c++ final class почему компилятор не делает inline от anonymous 2016-03-18 14:08:55

Скрыть

Re: c++ final class почему компилятор не делает inline

Мне кажется это всё от того, что метод объявлен виртуальным. c.fun не объявлен виртуальным, а A2::fun2 же объявлен. И, КМК, final запрещает наследовать класс, но с чего бы ему развиртуализировать метод?

anonymous(*)(2016-03-18 23:08:29)

[Ответить на это сообщение]

Ответ на: Re: c++ final class почему компилятор не делает inline от anonymous 2016-03-18 23:08:29

Скрыть

Re: c++ final class почему компилятор не делает inline

оба метода являются виртуальными и оба допускают девиртуализацию и инлайнинг метод C::fun виртуальный, т.к. является таковым в базовом классе A. слово virtual не обязательно писать для метода C::fun.

вызов c.fun() можно встроить, т.к. даже если по факту объект c является неким типом C1, который унаследован от C, то метод fun не может быть переопределен в C1, т.к. помечен словом final

вызов d.fun2() можно встроить, т.к. переменная d не может являться неким типом D1, унаследованным от D, т.к. класс D помечен словом final то есть в статике (при компиляции) мы заранее знаем, какие именно методы должны вызваться и можем их встроить. хаки в таблицах виртуальных функций уже идут лесом, т.к. это UB

anonymous(*)(2016-03-19 20:15:08)

Opera/9.80 (X11; Linux x86_64) Presto/2.12.388 Version/12.16

[Ответить на это сообщение]

Ответ на: Re: c++ final class почему компилятор не делает inline от anonymous 2016-03-19 20:15:08

Скрыть

Re: c++ final class почему компилятор не делает inline

> мы заранее знаем, какие именно методы должны вызваться

Где-нибудь у класс D появляется "сосед" E:

cpp

        struct E final: public A2

        {

            virtual long fun2(long a)

            {

                return a+144;

            }

         };

И код, которому абстрактно на конкретную реализацию:

cpp

long theUniversalFunMultiplier(A2 &a2, long p)

{

    return 2 * a2.fun2(p);

}

anonymous(*)(2016-03-20 12:50:01)
Отредактировано anonymous по причине "не указана"
Mozilla/5.0 (X11; Fedora; Linux x86_64; rv:45.0) Gecko/20100101 Firefox/45.0

[Ответить на это сообщение]

Ответ на: Re: c++ final class почему компилятор не делает inline от anonymous 2016-03-20 12:50:01

Скрыть

Re: c++ final class почему компилятор не делает inline

В функции gmain (о которой изначально шла речь) - заранее известно, какие конкретные методы будут вызваны. Тело функции gmain можно целиком inline-ить.0

В функции theUniversalFunMultiplier - заранее неизвестно, какие методы будут вызваны. Тело theUniversalFunMultiplier нельзя целиком inline-ить.

anonymous(*)(2016-03-21 08:41:20)

Opera/9.80 (X11; Linux x86_64) Presto/2.12.388 Version/12.16

[Ответить на это сообщение]

Ответ на: Re: c++ final class почему компилятор не делает inline от anonymous 2016-03-21 08:41:20

Скрыть

Re: c++ final class почему компилятор не делает inline

Я к тому, что слово "final" тут скорее всего не играет роли.

anonymous(*)(2016-03-21 17:54:04)

Mozilla/5.0 (X11; Fedora; Linux i686; rv:42.0) Gecko/20100101 Firefox/42.0

[Ответить на это сообщение]

Ответ на: c++ final class почему компилятор не делает inline от anonymous 2016-03-18 14:06:48

Скрыть

Re: c++ final class почему компилятор не делает inline

погодите, народ!

Инлайнинг — это не свойство вызываемой функции, а свойство контекста, из которого вызвана функция. Разные вызовы одной и той же функции могут как заинлайниться, так и нет.

Тот факт, что некоторые вызовы были заинланйнены, не отменяет генерации отдельного символа для заинлайненной функции и не модифицирует vtable. Это позволяет использовать обычный vtable/call там, где инлайнинг невозможен, например, в преведенной выше theUniversalFunMultiplier.

anonymous(*)(2016-03-23 00:11:42)

Mozilla/5.0 (X11; Linux x86_64) AppleWebKit/537.21 (KHTML, like Gecko) konqueror/4.14.17 Safari/537.21

[Ответить на это сообщение]

Ответ на: Re: c++ final class почему компилятор не делает inline от anonymous 2016-03-23 00:11:42

Скрыть

Re: c++ final class почему компилятор не делает inline

ТС-то интересуется почему компилятор не заинлайнил оба метода в конкретной ситуации. Вроде уже договорились, что final тут ни при чём, но по сути вопроса пока идей чота нет.

anonymous(*)(2016-03-23 15:39:40)

[Ответить на это сообщение]

anonymous@RULINUX.NET~#	Last login: 2024-04-16 23:13:39
Регистрация Вход	Новости \| Разметка \| Пользователи \| Галерея \| Форум \| Статьи \| Неподтвержденное \| Трекер \| Правила форума \| F.A.Q. \| Ссылки \| Поиск

Этот тред читают 1 пользователь:
Анонимных: 1 Зарегистрированных: 0