Ускорение виртуальной функции звонит в gcc

Вы уверены, что время все связано с вызовом? Это могла быть сама функция, где стоимость? Если это верно, просто встраивание вещей могло бы заставить функцию исчезнуть от Вашего профилировщика, но Вы не будете видеть много ускорения.

Принятие его действительно является издержками совершения такого количества виртуальных звонков существует предел тому, что можно обойтись без создания невиртуальных вещей.

Если вызов будет иметь рано-outs для вещей как время/флаги затем, то я буду часто использовать двухуровневый подход. Проверка встраивается с невиртуальным вызовом с определенным для класса поведением, только названным при необходимости.

Например.

class Foo
{
public:

inline void update( void )
{
  if (can_early_out)
    return;

  updateImpl();
}

protected:

virtual void updateImpl( void ) = 0;    
}; 

Время проводит в фактическом вызове функции, или в самой функции?

Вызов виртуальной функции заметно медленнее, чем невиртуальный вызов, потому что виртуальный вызов требует, чтобы дополнительное разыменовало. (Google для 'vtable', если Вы хотите считать все волосатые детали.)) Обновление: оказывается, что статья Wikipedia не плоха на этом.

"Заметно" здесь, тем не менее, означает несколько инструкций, Если это использует значительную часть общего вычисления включая время, проведенное в вызванной функции, которая походит на чудесное место для рассмотрения невиртуализации и встраивания.

Но в чем-то близко к 20 годам C++, я не думаю, что когда-либо видел, что действительно происходят. Я хотел бы видеть код.

Если виртуальный вызов действительно является узким местом, дают CRTP попытку.

Вы смогли, получают немного лучшую производительность от виртуального вызова путем изменения соглашения о вызовах. Старый компилятор Borland имел __ fastcall конвенция, которая передаваемые аргументы в CPU регистрируется вместо на стеке.

Если Вы застреваете с виртуальным вызовом, и те немного операций действительно считают, то проверяют Вашу документацию компилятора на поддерживаемые соглашения о вызовах.

Знайте, что "виртуальный" и "встроенный" не противоположности - метод может быть обоими. Компилятор счастливо встроит виртуальную функцию, если он может определить тип объекта во время компиляции:

struct B {
    virtual int f() { return 42; }
};

struct D : public B {
    virtual int f() { return 43; }
};

int main(int argc, char **argv) {
    B b;
    cout << b.f() << endl;   // This call will be inlined

    D d;
    cout << d.f() << endl;   // This call will be inlined

    B& rb = rand() ? b : d;
    cout << rb.f() << endl;  // Must use virtual dispatch (i.e. NOT inlined)
    return 0;
}

[ОБНОВЛЕНИЕ: Удостоверенный rbистинный тип динамического объекта не может быть известен во время компиляции - благодаря MSalters]

Если тип объекта может быть определен во время компиляции, но функция не inlineable (например, это является большим или определяется за пределами определения класса), это назовут нефактически.

Вот один из возможных способов сделать это с помощью RTTI.