SFINAE应用解析：偏特化类外成员函数与可变参数类模板

需求概述 #

• 可被其他位置的指针容器以泛型方式持有（无需指定类型）
• 持有任意数量、类型满足is_instruction_type概念的指令对象（允许类型重复）
• 具备extract函数，可生成一个仅包含单一指定类型指令的新InstructionSet

尝试的递归模板实现 #

//Define recursively
template<typename...Args> requires (is_instruction_type<Args> && ...)
class InstructionSet;


//Base
template<>
class InstructionSet<> 
{
public:
    InstructionSet() {};
    virtual ~InstructionSet() {};

    template<typename U>
    auto extract()
    {
        return extractHelper()->extract();
    };

protected:
    virtual InstructionSet<>* extractHelper();
};

//Recur
template<typename T, typename ...Rest> requires is_instruction_type<T>
class InstructionSet<T, Rest...> : public InstructionSet<Rest...>
{
public:
    InstructionSet(T&& t, Rest&&...rest);
    InstructionSet(T&& t, InstructionSet<Rest...>&& set);

    virtual ~InstructionSet() {};

    template<typename U> requires std::same_as<T, U>
    auto extract();

    template<typename U> requires !std::same_as<T, U>
    auto extract();


    virtual InstructionSet<T, Rest...>* extractHelper()
    {
        return this;
    };

private:
    T _instruction;

};



template<typename T, typename ...Rest> requires is_instruction_type<T>
inline InstructionSet<T, Rest...>::InstructionSet(T&& t, Rest&& ...rest) : InstructionSet<Rest...>(std::forward<Rest>(rest)...),
_instruction(std::forward<T>(t))
{

}
template<typename T, typename ...Rest> requires is_instruction_type<T>
inline InstructionSet<T, Rest...>::InstructionSet(T&& t, InstructionSet<Rest...>&& set)
{
    _instruction = std::forward<T>(t);
    std::construct_at((InstructionSet<Rest...>*)this, std::move(set));
}


template<typename T, typename ...Rest> requires is_instruction_type<T>
template<typename U> requires std::same_as<T, U>
auto InstructionSet<T, Rest...>::extract<U>()
{
    return InstructionSet(_instruction, std::move(((InstructionSet<Rest...>*)this)->extract()));
}

template<typename T, typename ...Rest> requires is_instruction_type<T>
template<typename U> requires (!std::same_as<T, U>)
auto InstructionSet<T, Rest...>::extract<U>()
{
    return ((InstructionSet<Rest...>*)this)->extract();
}

技术问题 #

1. 如何在多模板场景下，在类外部正确定义extract函数？
2. 在偏特化类的定义中，应如何处理类成员？是否需要编写完整的类定义？

问题解答 #

1. 多模板场景下外部定义extract函数的正确方式 #

你当前的外部定义存在语法错误，核心问题是模板参数声明、约束匹配以及基类模板函数调用的语法规范。修正后的正确写法如下：

// 匹配T与U相同的extract实现
template<typename T, typename... Rest> requires is_instruction_type<T>
template<typename U> requires std::same_as<T, U>
auto InstructionSet<T, Rest...>::extract()
{
    return InstructionSet<T>(std::move(_instruction), std::move(static_cast<InstructionSet<Rest...>*>(this)->template extract<U>()));
}

// 匹配T与U不同的extract实现
template<typename T, typename... Rest> requires is_instruction_type<T>
template<typename U> requires (!std::same_as<T, U>)
auto InstructionSet<T, Rest...>::extract()
{
    return static_cast<InstructionSet<Rest...>*>(this)->template extract<U>();
}

关键注意事项：

• 调用基类的模板成员函数extract时，必须添加template关键字，否则编译器会将<解析为小于运算符，触发编译错误。
• 基类InstructionSet<>中的extractHelper虚函数必须补充定义，否则会出现链接错误：

  InstructionSet<>* InstructionSet<>::extractHelper()
  {
      return this;
  }
  

2. 偏特化类的成员处理规则 #

模板类的偏特化（比如你的InstructionSet<>空特化）属于独立的类模板实例，和主模板没有自动的成员继承关系，因此必须遵守以下规则：

• 必须编写完整的类定义，包括所有对外暴露的成员函数、成员变量的声明。
• 虚函数需要单独提供实现，保证多态逻辑正常运行。
• 若需要复用主模板的逻辑，只能通过手动继承或组合的方式引入，编译器不会自动继承主模板的成员。

以你的空基类InstructionSet<>为例，作为递归终止节点，必须完整定义构造函数、析构函数、extract模板函数以及extractHelper虚函数的声明和实现，才能保证整个继承链的多态调用正常工作。

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