rulinux.net - Форум - Development - c++ final class почему компилятор не делает inline http://rulinux.net/ rulinux.net - Форум - Development - c++ final class почему компилятор не делает inline http://rulinux.net/ http://rulinux.net/rss_icon.png Re: c++ final class почему компилятор не делает inline https://rulinux.net/message.php?newsid=42460&page=1#215534 https://rulinux.net/message.php?newsid=42460&page=1#215534 Wed, 23 Mar 2016 11:39:40 +0300 ТС-то интересуется почему компилятор не заинлайнил оба метода в конкретной ситуации. Вроде уже договорились, что final тут ни при чём, но по сути вопроса пока идей чота нет.

]]> Re: c++ final class почему компилятор не делает inline https://rulinux.net/message.php?newsid=42460&page=1#215531 https://rulinux.net/message.php?newsid=42460&page=1#215531 Tue, 22 Mar 2016 20:11:42 +0300 погодите, народ!

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

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

]]> Re: c++ final class почему компилятор не делает inline https://rulinux.net/message.php?newsid=42460&page=1#215525 https://rulinux.net/message.php?newsid=42460&page=1#215525 Mon, 21 Mar 2016 13:54:04 +0300 Я к тому, что слово "final" тут скорее всего не играет роли.

]]> Re: c++ final class почему компилятор не делает inline https://rulinux.net/message.php?newsid=42460&page=1#215522 https://rulinux.net/message.php?newsid=42460&page=1#215522 Mon, 21 Mar 2016 04:41:20 +0300 В функции gmain (о которой изначально шла речь) - заранее известно, какие конкретные методы будут вызваны. Тело функции gmain можно целиком inline-ить.0

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

]]> Re: c++ final class почему компилятор не делает inline https://rulinux.net/message.php?newsid=42460&page=1#215512 https://rulinux.net/message.php?newsid=42460&page=1#215512 Sun, 20 Mar 2016 08:50:01 +0300 > мы заранее знаем, какие именно методы должны вызваться

Где-нибудь у класс 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);
}
 

]]> Re: c++ final class почему компилятор не делает inline https://rulinux.net/message.php?newsid=42460&page=1#215507 https://rulinux.net/message.php?newsid=42460&page=1#215507 Sat, 19 Mar 2016 16:15:08 +0300 оба метода являются виртуальными и оба допускают девиртуализацию и инлайнинг метод C::fun виртуальный, т.к. является таковым в базовом классе A. слово virtual не обязательно писать для метода C::fun.

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

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

]]> Re: c++ final class почему компилятор не делает inline https://rulinux.net/message.php?newsid=42460&page=1#215482 https://rulinux.net/message.php?newsid=42460&page=1#215482 Fri, 18 Mar 2016 19:08:29 +0300 Мне кажется это всё от того, что метод объявлен виртуальным. c.fun не объявлен виртуальным, а A2::fun2 же объявлен. И, КМК, final запрещает наследовать класс, но с чего бы ему развиртуализировать метод?

]]> Re: c++ final class почему компилятор не делает inline https://rulinux.net/message.php?newsid=42460&page=1#215475 https://rulinux.net/message.php?newsid=42460&page=1#215475 Fri, 18 Mar 2016 10:08:55 +0300

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

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

]]> c++ final class почему компилятор не делает inline https://rulinux.net/message.php?newsid=42460&page=1#215474 https://rulinux.net/message.php?newsid=42460&page=1#215474 Fri, 18 Mar 2016 10:06:48 +0300
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
 

]]>