为何传递数值42时is_char_array_t的std::array特化不匹配？

问题背景 #

用户编写了一个用于检查类型是否为特定容器的类型特征，代码如下：

#include <array>
#include <cstddef>

template<typename T>
struct is_char_array_t final: std::false_type {};
template<std::size_t N>
struct is_char_array_t<std::array<char, N>> final: std::true_type {};

int main(){
    if constexpr (is_char_array_t<42>) {
        return 2;
    } 
}

编译时出现如下错误：

<source>: In function 'int main()':
<source>:10:37: error: type/value mismatch at argument 1 in template parameter list for 'template<class T> struct is_char_array_t'
   10 |     if constexpr (is_char_array_t<42>) {
      |                                     ^
<source>:10:37: note:   expected a type, got '42'
<source>:10:38: error: expected unqualified-id before ')' token
   10 |     if constexpr (is_char_array_t<42>) {
      |                                      ^
ASM generation compiler returned: 1
<source>: In function 'int main()':
<source>:10:37: error: type/value mismatch at argument 1 in template parameter list for 'template<class T> struct is_char_array_t'
   10 |     if constexpr (is_char_array_t<42>) {
      |                                     ^
<source>:10:37: note:   expected a type, got '42'
<source>:10:38: error: expected unqualified-id before ')' token
   10 |     if constexpr (is_char_array_t<42>) {
      |                                      ^
Execution build compiler returned: 1

用户的疑问是：这段代码编译失败符合预期，但想了解原理——原以为针对std::size_t的模板重载比需要类型的模板更匹配数值42，为何第二个更特化的模板无法匹配给定数值？

原理解答 #

1. 主模板的参数类型要求 #

主模板is_char_array_t的模板参数是类型参数（typename T），这意味着实例化它时必须传入一个类型，而不是数值常量。当你写is_char_array_t<42>时，编译器首先尝试匹配主模板，但42是std::size_t类型的数值，不是类型，直接触发类型不匹配错误，根本不会进入模板特化的匹配阶段。

2. 部分特化的匹配前提 #

第二个模板是主模板的部分特化，它的作用是：当主模板的类型参数T恰好是std::array<char, N>（N为std::size_t常量）时，使用这个特化版本。但特化的前提是主模板的实例化必须合法——也就是传入的参数必须是类型。

std::array<char, N>是模板实例化后的类型，而42不是类型，所以is_char_array_t<42>连主模板的基本实例化要求都满足不了，更谈不上匹配到特化版本。

3. 类型参数与非类型参数的本质区别 #

主模板的参数是类型参数，特化模板并没有改变主模板的参数类型——它只是对主模板的类型参数T的具体形式做了限制。如果想让模板接受数值参数，需要定义带有非类型模板参数的主模板，但这和原本检查类型的需求完全不符，因为你的类型特征是用来判断某个类型是否为std::array<char, N>，所以主模板必须接受类型参数。

4. 正确使用方式 #

若要检查某个类型是否符合要求，应传入类型而非数值，示例如下：

if constexpr (is_char_array_t<std::array<char, 42>>::value) {
    return 2;
}

此时编译器会匹配到特化版本，得到true_type的结果。

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