TypeList类型特化失效：非列表类型意外匹配模板特化

问题场景 #

我正在借助模板元编程技术，将仅针对特定TypeList类型实现的traits类特化导出到当前命名空间：

• 第一个测试案例：针对MakePointerToConst仿函数和TypeList<int, void, double, char *>，列表内类型的static_assert编译正常，float类型的断言显示不存在PointerToConstTrait特化，符合预期。
• 第二个测试案例：针对CustomFunctionPointer和TypeList<int, double, long int, char, char const *, char[]>，不在列表中的float类型的static_assert却显示MakeCustomFunctionPointer特化存在，触发编译错误：error: static assertion failed。

可能的原因及排查方向 #

1. CustomFunctionPointer存在可匹配的通用模板 #

检查MakeCustomFunctionPointer的通用模板是否未被禁用：

• 错误示例：通用模板无约束，会匹配所有类型

template<typename T>
struct MakeCustomFunctionPointer {
    using type = void(*)(T); // 即使不在TypeList内，也会被实例化
};

• 对比MakePointerToConst的正确实现，可能是将通用模板设为不可用：

// 方案1：直接删除通用模板
template<typename T>
struct MakePointerToConst = delete;

// 方案2：用SFINAE约束仅匹配TypeList内的类型
template<typename T, typename = std::enable_if_t<is_in_typelist_v<T, TargetList>>>
struct MakePointerToConst { ... };

2. 类型判断逻辑对复杂类型处理错误 #

检查判断类型是否在TypeList内的元函数（比如is_in_typelist）：

• 是否对char[]这类数组类型做了错误的隐式转换（比如转为char*），导致类型匹配逻辑混乱？
• 遍历TypeList生成特化的代码是否存在漏洞，意外为float生成了特化？

3. 特化导出的语法错误 #

检查CustomFunctionPointer的特化导出代码：

• 是否误用了模板参数，写出了匹配所有类型的特化（而非仅列表内类型的显式特化）：

// 错误示例：该特化会匹配所有T
template<typename T>
struct MakeCustomFunctionPointer<T> { ... };

• 正确的写法应为针对列表内每个类型做显式特化：

template<>
struct MakeCustomFunctionPointer<int> { ... };
template<>
struct MakeCustomFunctionPointer<double> { ... };
// ... 依次列出TypeList内的所有类型

4. static_assert条件写反 #

检查第二个测试案例的断言逻辑：

• 是否误将!exists_v<MakeCustomFunctionPointer<float>>写成了exists_v<MakeCustomFunctionPointer<float>>，导致错误触发断言。

验证步骤 #

1. 先将MakeCustomFunctionPointer的通用模板显式delete，观察float的断言是否恢复正常。
2. 打印is_in_typelist_v<float, TargetList>的值，确认类型判断逻辑的正确性。
3. 查看编译器的详细错误信息，定位MakeCustomFunctionPointer<float>的实例化来源，判断是通用模板还是意外生成的特化。

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