模板化方法特化出现未解析符号：无法解析void K::func<B>(B&)

你的问题出在两个核心点：显式特化仅声明未定义，以及主模板存在语法错误，下面一步步拆解并给出修复方案：

问题根源 #

你在代码里声明了K::func<B>的显式特化，但没有提供具体的实现：

template <> void K::func<B>(B &b);
template <> void K::func(B &b); // 这行和上一行是同一个特化的等价写法

当main中调用k.func(b)时，编译器会优先匹配这个显式特化，而不是去实例化主模板。但链接阶段找不到这个特化的定义，所以抛出undefined reference错误，nm工具显示的U（未定义符号）也验证了这一点。

另外，你的主模板实现还有个语法错误：t->ok()是指针的成员调用方式，但t是T&引用类型，应该用.访问成员：

template <typename T> void K::func(T &t) { t.ok(); } // 把->改成.

解决方案 #

根据你的需求，有两种修复路径：

路径1：不需要显式特化，直接使用主模板 #

如果不需要为B类型单独定制func的逻辑，只需删除所有显式特化的声明，同时修正主模板的语法错误即可：

struct K { template <typename T> void func(T &t); };
struct B { void ok(); };

// 修正主模板的成员调用方式
template <typename T> void K::func(T &t) { t.ok(); }

// 删除多余的特化声明
int main() { K k; B b; k.func(b); }

这样编译器会自动实例化K::func<B>，链接时就能找到对应的符号了。

路径2：需要显式特化，补充特化的定义 #

如果你确实需要为B类型定制func的行为，那么要为显式特化提供具体的定义，同时可以保留一个特化声明（或者直接写定义，不需要单独声明）：

struct K { template <typename T> void func(T &t); };
struct B { void ok(); };

// 主模板定义（可选，如果其他类型还需要用到主模板的话）
template <typename T> void K::func(T &t) { t.ok(); }

// 显式特化的声明（可选，也可以直接写定义）
template <> void K::func<B>(B &b);
// 显式特化的定义
template <> void K::func<B>(B &b) {
    // 这里写你为B类型定制的逻辑，比如：
    b.ok();
    // 或者其他自定义操作
}

int main() { K k; B b; k.func(b); }

注意：两个等价的特化声明只需要保留一个即可，避免冗余。

额外说明 #

显式特化的作用是为特定类型提供不同于主模板的实现，一旦声明了特化，编译器就会优先使用这个特化版本，而不会再去实例化主模板。所以必须确保特化有对应的定义，否则就会出现链接错误。

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