如何用相同模板参数强制实例化C类的指定模板特化版本？

问题背景 #

现有如下C++模板类定义，当实例化C<vector<int>, vector<int>>时，编译器会优先匹配第三个特化版本，但需要让相同模板参数的实例有时匹配第二个特化版本：

#include <vector>

using namespace std;

// 1. 通用版本
template < typename U, typename V >
class C
{
public: C() {}
};

// 2. 第二个特化：第二个参数为vector的情况
template < typename U, typename VT, typename VA >
class C< U, vector<VT, VA> >
{
public: C() {}
};

// 3. 第三个特化：两个参数都是vector的情况
template < typename UT, typename UA, typename VT, typename VA >
class C< vector<UT, UA>, vector<VT, VA> >
{
public: C() {}
};

int main() 
{
  C<int, int> a; // 匹配通用版本
  C<int, vector<int>> b; // 匹配第二个特化
  C<vector<int>, vector<int>> c; // 匹配第三个特化
  C<vector<int>, vector<int>> d; // 如何强制匹配第二个特化？
}

解决方案 #

由于C++模板特化遵循最特化优先规则，第三个特化是对双vector参数的精确匹配，优先级高于第二个特化。要强制匹配第二个特化，可通过以下两种方法实现：

方案一：添加辅助模板别名，绕过第三个特化 #

通过定义一个模板别名，显式指定匹配第二个特化的模板参数上下文：

#include <vector>
#include <type_traits>

using namespace std;

// 1. 通用版本（增加第三个默认模板参数）
template <typename U, typename V, typename = void>
class C
{
public: C() {}
};

// 2. 第二个特化：保留原逻辑，增加第三个模板参数的约束
template <typename U, typename VT, typename VA>
class C<U, vector<VT, VA>, typename enable_if<true>::type>
{
public: C() {}
};

// 3. 第三个特化：仅匹配无第三个参数的双vector场景
template <typename UT, typename UA, typename VT, typename VA>
class C<vector<UT, UA>, vector<VT, VA>>
{
public: C() {}
};

// 辅助模板别名，强制匹配第二个特化
template <typename U, typename VT, typename VA = allocator<VT>>
using C_ForceSecond = C<U, vector<VT, VA>, void>;

int main() 
{
  C<int, int> a; // 通用版本
  C<int, vector<int>> b; // 第二个特化
  C<vector<int>, vector<int>> c; // 第三个特化
  C_ForceSecond<vector<int>, int> d; // 强制匹配第二个特化
}

方案二：使用类型包装器修改第一个参数类型 #

定义一个简单的类型包装器，将第一个vector<int>包装为非vector类型，从而避开第三个特化的匹配条件：

#include <vector>

using namespace std;

// 类型包装器
template<typename T>
struct Wrap {
    using InnerType = T;
    // 可选：添加类型转换，兼容原vector的操作
    operator T&() { return value; }
    operator const T&() const { return value; }
private:
    T value;
};

// 1. 通用版本
template < typename U, typename V >
class C
{
public: C() {}
};

// 2. 第二个特化：第二个参数为vector的情况
template < typename U, typename VT, typename VA >
class C< U, vector<VT, VA> >
{
public: C() {}
};

// 3. 第三个特化：两个参数都是vector的情况
template < typename UT, typename UA, typename VT, typename VA >
class C< vector<UT, UA>, vector<VT, VA> >
{
public: C() {}
};

int main() 
{
  C<int, int> a; // 通用版本
  C<int, vector<int>> b; // 第二个特化
  C<vector<int>, vector<int>> c; // 第三个特化
  C<Wrap<vector<int>>, vector<int>> d; // 匹配第二个特化
}

原理说明 #

第三个特化是对C<vector<...>, vector<...>>的更特化定义，编译器会优先选择它。方案一通过额外的模板参数改变匹配上下文，让编译器优先匹配第二个特化；方案二则通过包装器隐藏第一个参数的vector属性，使第三个特化的匹配条件不成立。

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