C++ позднее связывание на функции перегружает

Question

Предполагая, что у меня есть эти два класса:

class Hello { 
    //members 
public: 
    virtual int doit() { 
     return 3; 
    } 

}; 

class Wow : public Hello { 
    //members 
public: 
    virtual int doit() { 
     return 2; 
    } 
}; 

int main(int argc, const char *argv[]) { 

    Hello *c = new Wow(); 

    return c->doit(); 
} 

Как все мы знаем, этот код будет обрабатываться поздним связыванием в C++, реализованный в LLVM IR по Clang, как это:

; ... 
    %7 = bitcast %class.Wow* %5 to %class.Hello* 
    store %class.Hello* %7, %class.Hello** %c, align 8 
    %8 = load %class.Hello*, %class.Hello** %c, align 8 
    %9 = bitcast %class.Hello* %8 to i32 (%class.Hello*)*** 
    %10 = load i32 (%class.Hello*)**, i32 (%class.Hello*)*** %9, align 8 
    %11 = getelementptr inbounds i32 (%class.Hello*)*, i32 (%class.Hello*)** %10, i64 0 
    %12 = load i32 (%class.Hello*)*, i32 (%class.Hello*)** %11, align 8 
    %13 = call i32 %12(%class.Hello* %8) 
; ... 

Мой вопрос, что если я хочу создать функцию, называемую check, например, в другом пространстве имен, как это:

namespace somewhereelse { 
    void check(Hello *c) { 
    // Do something 
    } 
    void check(Wow *c) { 
    // Do something else 
    } 
} 

Может ли какая-то поздняя привязка применяться к различным перегрузкам функций?

Answer 1

Нет, динамическая отправка для функций, не являющихся членами, в настоящее время не является частью C++.

Теоретически возможно, но техника реализации не так прямолинейна, как для виртуальных функций. Было несколько предложений по расширению C++ с этим (ключевые слова: multimethods и множественная отправка), но до сих пор они не привели к конкретному предложению и принятому изменению языка.

Answer 2

Это похоже на работу указателей функций.

void (*checkPtr)(Hello*); 
... 
void check(Hello *c) { 
    // Do something 
    } 
... 
checkPtr = ✓ 

Это не идеальный вариант, но подходит для временного связывания.