继承虚类的类显式特化问题求助：BOX模板类实现故障

你的错误根源在于对BOX类做了全特化——特化后的BOX<std::string>是一个完全独立的全新结构体，既没有继承BASE，也丢失了原模板里的构造函数、base成员以及custom_int/custom_double的实现，自然无法通过BASE*指针访问，也无法用std::string参数构造。

正确实现方式：特化成员模板而非全类特化 #

只针对custom_vec这个成员模板做特化，保留原BOX模板的通用结构（继承BASE、构造函数、base成员、虚函数实现），这样既能复用通用逻辑，又能为特定类型定制custom_vec的行为。

修正后的完整代码如下：

#include <vector>
#include <string>
#include <utility> // 用于std::forward

class BASE {
public:
    virtual ~BASE() {};

    virtual std::vector<int> custom_int() const = 0;

    virtual std::vector<double> custom_double() const = 0;
};

template <typename T>
struct BOX : public BASE { // 此处virtual继承无必要，除非有菱形继承场景，可移除

    template <typename ...Args>
    BOX(Args&&... args) : base(std::forward<Args>(args)...) {} // 修正为完美转发的右值引用

    T base;

    std::vector<int> custom_int() const {
        return custom_vec<int>(base);
    }

    std::vector<double> custom_double() const {
        return custom_vec<double>(base);
    }

    template <typename NUM>
    std::vector<NUM> custom_vec(const T&) const;
};

// 特化BOX<std::string>的custom_vec成员模板
template <>
template <typename NUM>
std::vector<NUM> BOX<std::string>::custom_vec(const std::string& s) const {
    return {42, 52};
}

// 为其他类型提供默认的custom_vec实现（复用原BOX_str的逻辑）
template <typename T>
template <typename NUM>
std::vector<NUM> BOX<T>::custom_vec(const T&) const {
    return {32, 62};
}

// 原BOX_str可保留用于对比
struct BOX_str final : public BASE {
    template <typename ...Args>
    BOX_str(Args... args) : base(std::forward<Args>(args)...) {}

    std::string base;

    std::vector<int> custom_int() const {
        return custom_vec<int>(base);
    }

    std::vector<double> custom_double() const {
        return custom_vec<double>(base);
    }

    template <typename NUM>
    std::vector<NUM> custom_vec(const std::string& s) const {
        return {32, 62};
    }
};

int main() {
    std::string mystr{ "abcd" };

    BASE* v1 = new BOX<std::string>(mystr); // 现在可正常编译
    BASE* v2 = new BOX_str(mystr);

    // 验证虚函数行为
    auto vec1 = v1->custom_int(); // 得到{42,52}
    auto vec2 = v2->custom_int(); // 得到{32,62}

    delete v1;
    delete v2;
}

关键说明 #

1. 成员模板特化语法：需要两层template <>，第一层表示对BOX<std::string>特化，第二层表示对其内部的custom_vec模板特化。
2. 完美转发修正：原构造函数的Args... args改为Args&&... args，配合std::forward实现真正的完美转发，避免不必要的拷贝。
3. 默认成员模板实现：如果需要为大部分类型提供通用的custom_vec逻辑，可以在类外实现原模板的custom_vec，无需为每个类型单独特化。

备选方案：全类特化（不推荐，代码冗余） #

如果确实需要对某个类型做大量定制，必须全类特化时，需完整复制原模板的通用逻辑并添加定制内容：

template <>
struct BOX<std::string> : public BASE {
    template <typename ...Args>
    BOX(Args&&... args) : base(std::forward<Args>(args)...) {}

    std::string base;

    std::vector<int> custom_int() const {
        return custom_vec<int>(base);
    }

    std::vector<double> custom_double() const {
        return custom_vec<double>(base);
    }

    template <typename NUM>
    std::vector<NUM> custom_vec(const std::string& s) const {
        return {42, 52};
    }
};

这种方式会重复原模板代码，维护成本高，因此优先推荐成员模板特化的方案。

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