Предположим, что у меня есть следующий код
void f(PolymorphicType *p)
{
for (int i = 0; i < 1000; ++i)
{
p->virtualMethod(something);
}
}
Будет ли компилятор сгенерировать разницу кода p vtable для virtualMethod 1 или 1000 раз? Я использую компилятор Microsoft.
изменить
вот сгенерированная сборка для реального случая, на который я смотрю. line->addPoint() - это виртуальный метод, вызывающий озабоченность. У меня нет опыта сборки, поэтому я медленно перехожу к нему...
; 369 : for (int i = 0; i < numPts; ++i)
test ebx, ebx
je SHORT [email protected]_SCANNE
lea edi, DWORD PTR [ecx+32]
npad 2
[email protected]_SCANNE:
; 370 : {
; 371 : double *pts = pPoints[i].SystemXYZ;
; 372 : line->addPoint(pts[0], pts[1], pts[2]);
fld QWORD PTR [edi+8]
mov eax, DWORD PTR [esi]
mov edx, DWORD PTR [eax+16]
sub esp, 24 ; 00000018H
fstp QWORD PTR [esp+16]
mov ecx, esi
fld QWORD PTR [edi]
fstp QWORD PTR [esp+8]
fld QWORD PTR [edi-8]
fstp QWORD PTR [esp]
call edx
add edi, 96 ; 00000060H
dec ebx
jne SHORT [email protected]_SCANNE
[email protected]_SCANNE:
; 365 : }
В общем, нет, это невозможно. Функция может уничтожить *this и размещение - новый другой объект, полученный из той же базы в этом пространстве.
Изменить: еще проще, функция может просто изменить p. Компилятор не может знать, кто имеет адрес p, если он не является локальным для рассматриваемого блока оптимизации.
Невозможно вообще, но есть особые случаи, которые можно оптимизировать, особенно при межпроцедурном анализе. VS2012 с полной оптимизацией и оптимизацией всей программы компилирует эту программу:
#include <iostream>
using namespace std;
namespace {
struct A {
virtual void foo() { cout << "A::foo\n"; }
};
struct B : public A {
virtual void foo() { cout << "B::foo\n"; }
};
void test(A& a) {
for (int i = 0; i < 100; ++i)
a.foo();
}
}
int main() {
B b;
test(b);
}
в
01251221 mov esi,64h
01251226 jmp main+10h (01251230h)
01251228 lea esp,[esp]
0125122F nop
01251230 mov ecx,dword ptr ds:[1253044h]
01251236 mov edx,12531ACh
0125123B call std::operator<<<std::char_traits<char> > (012516B0h)
01251240 dec esi
01251241 jne main+10h (01251230h)
чтобы он эффективно оптимизировал цикл для:
for(int i = 0; i < 100; ++i)
cout << "B::foo()\n";