为何C++的has_id概念约束对数组类型检查不生效？

我定义了如下C++概念has_id，要求类型具备uint8_t[16]类型的静态成员Id：

#include <cstdint>
#include <concepts>

template <class T>
concept has_id = requires(T) {
    T::Id;
    std::same_as<uint8_t[16], decltype(T::Id)>;
};

但当我使用包含uint8_t[17]类型静态成员Id的Sample类，实例化受has_id约束的print_id模板时，在Visual C++ 2022 17.3和Clang 14环境中均能正常运行，不符合预期，请问原因是什么？

附示例代码：

#include <cstdint>
#include <iostream>

class Sample
{
public:
    static constexpr uint8_t Id[17] = {1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,10,11};
};

template<has_id T>
void print_id()
{
    std::cout.setf(std::ios_base::hex);

    std::cout << "{" << (int)T::Id[0];

    for(auto i=1; i < sizeof(T::Id); ++i)
        std::cout << ", " << (int)T::Id[i];

    std::cout << "}";
}

int main()
{
    print_id<Sample>();

    return 0;
}

原因分析 #

你写的has_id概念存在语法错误，导致数组长度的约束完全没有生效：

• 在requires表达式中，std::same_as<uint8_t[16], decltype(T::Id)>的写法是错误的。std::same_as是C++20的概念，不是可实例化的类型或常量表达式，直接将其写在requires顶层无法触发类型相等性检查。编译器会忽略这个无效要求，只检查第一个简单要求T::Id是否存在——只要类有静态成员Id，不管其类型是什么，都会被判定为满足has_id概念。
• 补充说明：即使写法正确，decltype(T::Id)对于静态数组成员会保留其原始数组类型（比如uint8_t[17]），不会退化为指针，所以只要约束写法正确，就能区分不同长度的数组。

正确的has_id概念写法 #

有两种可行的修正方式：

方式一：使用嵌套requires约束 #

template <class T>
concept has_id = requires(T) {
    T::Id;
    // 嵌套requires触发概念检查
    requires std::same_as<uint8_t[16], decltype(T::Id)>;
};

方式二：将约束放在concept的顶层逻辑中 #

template <class T>
concept has_id = requires(T) {
    T::Id;
} && std::same_as<uint8_t[16], decltype(T::Id)>;

修正后，Sample类的Id是uint8_t[17]类型，无法满足has_id概念，编译器会正确报错，拒绝实例化print_id<Sample>。

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