为何被重写的模板类方法仍会被编译？

先看你提供的最小复现代码：

#include <iostream>

template<typename T>
class Base
{
public:
    virtual void Method()
    {
        static_assert(false);
    }
};

class Derived : public Base<int>
{
public:
    void Method() override
    {
        std::cout << "Hello, World!";
    }
};

int main()
{
    Derived d{};

    d.Method();

    return 0;
}

核心原因：虚函数的实例化规则 #

模板类的普通成员函数遵循延迟实例化——只有当函数被实际调用（ODR使用）时，编译器才会生成该函数的具体代码。但虚函数是特殊情况：

• 当模板类被实例化（比如这里的Base<int>），编译器需要为该类生成虚函数表（vtable），虚表中必须包含所有虚函数的条目，哪怕这些函数会被派生类重写。
• 为了生成虚表条目，编译器必须实例化基类的虚函数，这就导致函数体内的static_assert(false)被触发——因为这个断言不依赖模板参数，属于编译期必然失败的代码，只要实例化函数就会报错。

验证与解决思路 #

如果把static_assert(false)改成依赖模板参数的形式，比如：

static_assert(sizeof(T) == 0, "Base Method should not be called");

此时这个断言只有在基类的Method被实际调用时才会触发，而如果派生类重写后没有调用基类版本，编译就能通过——因为此时基类的Method虽然被实例化（用于虚表），但断言的条件依赖模板参数，只有当函数执行时才会检查（而实际上不会走到这一步）。

总结来说：基类虚函数因为要进入虚表，会随模板类实例化而被强制实例化，和是否被派生类重写无关。

内容的提问来源于stack exchange，提问作者Samo Chreno