template-id不匹配模板声明及TCollection的size函数模板特化失败疑问

咱们来逐个拆解你遇到的问题哈：

1. 「template-id不匹配任何模板声明」错误原因 #

这个报错几乎都是因为你尝试特化模板时，特化的参数列表、形式和原模板完全不匹配。比如你提供的原size模板是单模板参数typename C，但如果你的特化代码写成了template <class T, size_t...>这种多参数形式，编译器找不到对应的原模板，自然就会报这个错。

另外要注意：C++函数模板不支持偏特化，如果你试图对函数模板做偏特化（比如针对TCollection<T>这种带参数的类型特化），本身就是语法错误，也会触发这个报错。

2. 针对TCollection的size模板特化失败问题 #

结合你给出的代码，我整理了几个可能的原因和解决办法：

原因1：误用函数模板偏特化 #

刚才提到，函数模板不能偏特化，如果你想针对TCollection类型做特殊处理，正确的方式是写一个重载函数，而不是特化。比如：

// 针对TCollection<T>的重载，优先级比通用模板高
template <typename T>
constexpr auto size(const TCollection<T>& c) -> decltype(c.size()) {
    // 这里写你针对TCollection的特殊逻辑
    return c.size();
}

重载会在匹配时优先选中TCollection类型，比通用模板的匹配优先级更高，能达到你想要的效果。

原因2：is_detected工具实现有问题 #

你的代码里用到了is_detected<detect_size,C>，如果是C17及以后的标准，应该用std::is_detected（需要包含<experimental/type_traits>或者C20的<type_traits>）；如果是更早的标准，你需要自己正确实现is_detected工具类，否则会导致SFINAE分支判断错误，size函数的匹配逻辑乱掉。

一个标准的is_detected实现参考：

#include <type_traits>

// 辅助工具类
template <typename Default, typename AlwaysVoid, template<typename...> typename Op, typename... Args>
struct detector {
    using value_t = std::false_type;
    using type = Default;
};

template <typename Default, template<typename...> typename Op, typename... Args>
struct detector<Default, std::void_t<Op<Args...>>, Op, Args...> {
    using value_t = std::true_type;
    using type = Op<Args...>;
};

struct nonesuch {
    nonesuch() = delete;
    ~nonesuch() = delete;
    nonesuch(const nonesuch&) = delete;
    void operator=(const nonesuch&) = delete;
};

// is_detected的别名
template <template<typename...> typename Op, typename... Args>
using is_detected = typename detector<nonesuch, void, Op, Args...>::value_t;

如果你的is_detected不是按这个逻辑实现的，检测结果会出错，导致size函数的分支不按预期触发。

原因3：特化语法错误 #

如果你坚持要做全特化（比如针对某个具体的TCollection<int>这种类型），语法应该是这样的：

// 针对TCollection<int>的全特化
template <>
constexpr auto size(const TCollection<int>& c) -> decltype(c.size()) {
    return c.size();
}

注意全特化需要template <>开头，并且模板参数完全匹配原模板的参数列表，不能多也不能少。

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