为何非类型模板参数偏特化在Get与Insert中行为不同？

背景定义 #

首先定义了编译期Vector结构：

template <int... Nums>
struct Vector {};

针对Vector实现的Get操作偏特化可正常编译：

template <size_t Idx, typename Vec>
struct Get;

template <int Head, int... Tail>
struct Get<0, Vector<Head, Tail...>>
{
    static constexpr int value = Head;
};

template <size_t Idx, int Head, int... Tail>
struct Get<Idx, Vector<Head, Tail...>>
{
    static_assert(Idx > 0, "Out of Vector bound");
    static constexpr int value = Get<Idx - 1, Vector<Tail...>>::value;
};

但实现Insert操作时，在VS2022中编译失败，错误码为C2752“多个偏特化匹配”：

template <size_t Pos, int Val, typename Vec>
struct Insert;

template <size_t Pos, int Val, typename Vec>
using InsertT = typename Insert<Pos, Val, Vec>::type;

template <int Val, int... Elems>
struct Insert<0, Val, Vector<Elems...>>
{
    using type = Vector<Val, Elems...>;
};

template <size_t Pos, int Val, int Head, int... Tail>
struct Insert<Pos, Val, Vector<Head, Tail...>>
{
    using type = PrependT<Head, InsertT<Pos - 1, Val, Vector<Tail...>>>;
};

核心原因 #

Get特化无冲突的逻辑 #

Get的两个偏特化不存在歧义：

• 第一个特化明确匹配Idx=0且Vec为任意Vector<Head, Tail...>的场景
• 第二个特化匹配任意Idx和Vector<Head, Tail...>，但当Idx=0时，第一个特化更特化（第一个参数固定为具体值0，而非任意模板参数），编译器会优先选择第一个，因此不会触发冲突。

Insert特化冲突的根源 #

Insert的两个偏特化在Pos=0且Vec为非空Vector时会出现匹配歧义：

• 第一个特化Insert<0, Val, Vector<Elems...>>可以匹配Insert<0, 5, Vector<1,2,3>>（Elems...对应1,2,3）
• 第二个特化Insert<Pos, Val, Vector<Head, Tail...>>同样可以匹配这个调用（Pos=0，Head=1，Tail...对应2,3）

此时编译器无法判断哪个特化更特化：第一个特化的第一个参数是固定值0，但第三个参数是任意Vector；第二个特化的第三个参数是带首元素的Vector，但第一个参数是任意Pos。两者没有严格的包含关系，因此触发C2752错误。

VS2022对模板特化的匹配规则检查更严格，这也是该错误仅在VS中触发的原因之一。

解决方法 #

给第二个Insert特化添加Pos>0的约束，让它仅在Pos>0时匹配，避免和第一个特化的Pos=0场景冲突：

C++20及以上版本（使用requires约束） #

template <size_t Pos, int Val, int Head, int... Tail>
requires (Pos > 0)
struct Insert<Pos, Val, Vector<Head, Tail...>>
{
    using type = PrependT<Head, InsertT<Pos - 1, Val, Vector<Tail...>>>;
};

C++17及以前版本（使用enable_if） #

#include <type_traits>

template <size_t Pos, int Val, int Head, int... Tail, typename = std::enable_if_t<Pos > 0>>
struct Insert<Pos, Val, Vector<Head, Tail...>>
{
    using type = PrependT<Head, InsertT<Pos - 1, Val, Vector<Tail...>>>;
};

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