如何用Concepts检查模板参数是否为固定长度N的容器？

要实现一个能校验类型是否为固定长度容器的Concept，需针对不同容器类型的编译时长度获取方式做适配，以下是具体解决思路和代码实现：

问题分析 #

你已通过std::ranges::sized_range<T>验证了类型满足容器的基本要求，但直接用std::declval<T>().size() == N或T::size() == N无法完成编译时长度校验：

• std::declval返回的是右值引用，其.size()调用属于运行时表达式，无法在Concept的编译时约束中使用；
• T::size()仅适用于std::array这类提供静态成员函数的容器，对C风格数组、固定长度std::span不兼容。

解决思路 #

通过模板特化为不同类型的固定容器提供编译时长度的获取方式，再在Concept中对比该长度与指定的N。

1. 实现编译时长度获取模板 #

针对C风格数组、std::array、固定长度std::span分别做模板特化，提取它们的编译时长度：

#include <ranges>
#include <array>
#include <span>

// 基础模板，用于触发编译错误（当类型不支持固定长度时）
template<typename T>
struct fixed_size;

// 特化：C风格数组
template<typename U, size_t Len>
struct fixed_size<U[Len]> {
    static constexpr size_t value = Len;
};

// 特化：std::array
template<typename U, size_t Len>
struct fixed_size<std::array<U, Len>> {
    static constexpr size_t value = Len;
};

// 特化：固定长度的std::span（extent不是std::dynamic_extent）
template<typename U, size_t Len>
struct fixed_size<std::span<U, Len>> {
    static constexpr size_t value = Len;
};

// 简化使用的constexpr变量
template<typename T>
constexpr size_t fixed_size_v = fixed_size<T>::value;

2. 完善fixed_container Concept #

结合std::ranges::sized_range<T>和编译时长度对比，实现最终的Concept：

template<typename T, size_t N>
concept fixed_container =
    std::ranges::sized_range<T> &&
    requires {
        fixed_size_v<T>; // 确保类型有对应的fixed_size特化
    } &&
    (fixed_size_v<T> == N);

3. 测试验证 #

你的测试断言现在可以全部通过：

// 以下断言应全部成立
static_assert( fixed_container<std::array<double, 3>, 3>);
static_assert(!fixed_container<std::array<double, 3>, 4>);
static_assert( fixed_container<std::span<double, 3>,  3>);
static_assert(!fixed_container<std::span<double, 3>,  4>);
static_assert( fixed_container<double[3],             3>);
static_assert(!fixed_container<double[3],             4>);

扩展自定义容器 #

如果需要支持自定义固定长度容器，只需为其添加fixed_size的特化即可，例如：

// 自定义固定长度容器示例
template<typename T, size_t Len>
struct MyFixedContainer {
    static constexpr size_t size() { return Len; }
    // ... 其他容器接口
};

// 为自定义容器添加特化
template<typename T, size_t Len>
struct fixed_size<MyFixedContainer<T, Len>> {
    static constexpr size_t value = Len;
};

// 测试自定义容器
static_assert( fixed_container<MyFixedContainer<int, 5>, 5>);
static_assert(!fixed_container<MyFixedContainer<int, 5>, 6>);

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