C++继承场景下源文件实现特定模板实例的链接错误问题

A<A_data>和A<B_data>是模板生成的两个完全独立的类型，不存在继承关系，你只给A<A_data>::foo做了显式特化实现，链接阶段自然找不到A<B_data>::foo对应的符号，这就是报错的核心原因。
你之前尝试的普通继承方案报错，是因为基类里存储的是A_data*类型的指针，直接访问bar成员时编译器只能按A_data的定义检查，自然找不到派生类才有的成员。

方案1：通用模板实现+受控显式实例化（最匹配你的需求） #

这个方案完全满足你所有要求：实现不放在头文件暴露、仅允许A_data派生类作为模板参数、无重复冗余代码、保留模板自动推导指针类型不需要手动转换的优势。
具体修改如下：
头文件A.hpp不需要做任何改动，保持原有声明即可。
修改源文件A.cpp：

// A.cpp
#include "A.hpp"

// 写A::foo的通用模板实现，逻辑对所有A_data派生类的C都生效
template <class C>
int A<C>::foo() const {
    return d->foo;
}

// 显式实例化所有你允许使用的模板版本，新增派生类时只要加对应一行即可
template class A<A_data>;
template class A<B_data>;

// B::bar也用同样的方式实现
template <class C>
int B<C>::bar() const {
    return d->bar;
}
template class B<B_data>;

这个方案的效果：

• 所有核心业务实现都在cpp文件中，头文件仅保留声明，不会暴露实现逻辑
• 如果有人尝试用非A_data派生类（比如A<int>）实例化模板，链接阶段会直接报找不到符号的错误，刚好限制了非法实例化，不会暴露无关接口
• 核心逻辑只需要写一次，新增派生类时仅需加一行显式实例化代码，没有冗余
• 模板类中的d指针依然是对应派生数据类的指针类型，不需要手动做类型转换，直接访问成员不会报错。

方案2：非模板基类下沉公共逻辑（适合派生类较多的场景） #

如果你觉得每次新增派生类都要加显式实例化比较麻烦，可以把公共逻辑下沉到非模板基类中，用NVI（非虚接口）模式暴露能力：
修改A.hpp：

// A.hpp
class A_data {
public:
  int foo = 1;
  virtual ~A_data() = default;
};

class B_data : public A_data {
public:
  int bar = 2;
  virtual ~B_data() = default;
};

// 非模板基类存放公共逻辑和数据指针
class A_base {
protected:
  A_data* d;
  int foo_impl() const; // 可以在cpp中实现，完全不暴露逻辑
  A_base() = default;
public:
  virtual ~A_base() = default;
};

template <class C = A_data>
class A : public A_base {
public:
  int foo() const { return foo_impl(); } // 仅做一行转发，无逻辑暴露
  A() { d = new C; }
  ~A() { delete d; }
  // 提供类型安全的数据访问接口，避免手动强转
  C* data() const { return static_cast<C*>(d); }
};

template <class C = B_data>
class B : public A<C> {
public:
  int bar() const;
};

在A.cpp中实现：

// A.cpp
#include "A.hpp"

int A_base::foo_impl() const {
  return d->foo;
}

template <class C>
int B<C>::bar() const {
  return this->data()->bar;
}
template class B<B_data>;

这个方案的优势是foo的公共逻辑完全在非模板基类中实现，后续新增A的派生模板类时，不需要再为A添加显式实例化，减少了重复的实例化代码。

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