type_traits 怎么可能在编译时知道所有关于多态性的信息

Question

我正在学习如何将 type_traits 与 C++11 一起使用，我被告知 type_traits 在编译时工作。

我真的很惊讶。我做了如下测试：

class A {virtual void foo();};
class B : public A {};

constexpr bool b = std::is_base_of<A, B>::value;
constexpr bool bb = std::is_polymorphic<A>::value;
constexpr bool bb2 = std::is_polymorphic<B>::value;

int main()
{
    return 0;
}

我用命令编译这段代码：g++ -std=c++11 main.cpp -g 得到一个二进制文件a.out.

然后我执行命令objdump -dj .rodata a.out并得到输出：

./a.out:     file format elf64-x86-64    

Disassembly of section .rodata:

0000000000000830 <_IO_stdin_used>:
 830:   01 00 02 00                                         ....

0000000000000834 <_ZStL19piecewise_construct>:
        ...

0000000000000835 <_ZL1b>:
 835:   01                                                  .

0000000000000836 <_ZL2bb>:
 836:   01                                                  .

0000000000000837 <_ZL3bb2>:
 837:   01                                                  .

好的，type_traits 在编译时确实有效。

但是怎么办？或者这是否意味着 c++ 编译器可以在编译时获取所有多态性信息？我一直认为多态性信息都是关于运行时的东西...

Answer 1

多态类型是其实例可以表现出多态行为（虚函数调用、类型擦除、RTTI 等）的类型。行为本身发生在运行时，但这种可能性在编译时就已经知道了——如果只是因为编译器必须生成启用它的内部数据结构（vtables 等）。

例如，给定两个神秘类型X和Y：

void check(X const &x) {
    if(dynamic_cast<Y *>(&x))
        std::cout << "We have a Y!\n";
}

... 如果 Y 是 x 的动态类型之一，条件将在运行时通过，但函数本身只会在 dynamic_cast 有效时编译，也就是说，如果 X 和 Y 是多态类型。

type_traits 怎么可能在编译时知道所有关于多态性的信息

How could type_traits know all of informations about polymorphism at compile time

c++11

polymorphism

runtime

typetraits

compile-time