模板派生类重写虚函数出现LNK2019未解析外部符号链接错误

这个LNK2019错误我之前也碰到过，核心原因是你在基类Counter的构造函数里调用了纯虚函数getSize()，咱们一步步拆解问题和修复方案：

问题根源 #

虽然你在派生类A里用override重写了getSize()，但C++的对象构造有明确的顺序：先构造基类部分，再构造派生类部分。在基类Counter的构造函数执行时，派生类A的虚函数表还没初始化，此时调用虚函数getSize()，编译器会直接尝试调用基类的版本——但你把getSize()声明成了纯虚函数（=0），没有提供任何实现，所以链接器找不到对应的符号，就抛出了这个错误。

修复方案 #

方案1：移除基类构造中对纯虚函数的调用 #

这是最直接的修复方式。纯虚函数绝对不能在基类的构造或析构函数中调用，这是C++的明确禁忌，因为此时派生类的虚函数机制还未生效，必然会导致未定义行为或链接错误。

方案2：如果需要在初始化阶段获取大小（两种替代思路） #

如果你确实需要基类在初始化时拿到对象大小，可以改用以下两种方式：

思路A：将大小作为模板参数传递给基类

既然A的大小是模板参数N，可以直接把N传递给Counter，让基类不需要调用虚函数就能拿到大小：

// 修改基类模板
template<typename T, int Size> struct Counter {
    static int objects;
    // 直接返回模板参数指定的大小，不需要纯虚函数
    virtual size_t getSize() const { return Size; }
    // 其他内容
};

// 修改派生类继承关系
template <typename T, int N> struct A : Counter<T, N> {
    T data[N];
    // 可选：如果需要自定义大小逻辑，依然可以重写
    size_t getSize() const override { return N; }
};

思路B：通过派生类构造函数传递大小给基类

给基类添加一个成员变量存储大小，然后在派生类构造时把N传递给基类的构造函数：

// 修改基类模板
template<typename T> struct Counter {
    static int objects;
    size_t size_;
    // 基类构造函数接收大小参数
    Counter(size_t size) : size_(size) {}
    virtual size_t getSize() const = 0;
    // 其他内容
};

// 修改派生类
template <typename T, int N> struct A : Counter<A<T,N>> {
    T data[N];
    // 派生类构造时传递大小给基类
    A() : Counter<A<T,N>>(N) {}
    size_t getSize() const override { return N; }
};

验证 #

修改完成后，实例化A<int,10> a1;就不会再触发LNK2019错误了——基类不再调用未实现的纯虚函数，派生类的getSize()也能被虚函数机制正确解析。

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