C++中对容器类型的下标可访问性进行编译期检查

先看你定义的模板类：

template <typename T, typename Container = std::vector<T>>
class MyClass
{
private:
    Container arr;

public:
    MyClass();
    
    T* get_pointer(size_t index)
    {
         return &(arr[index]);
    }
};

要在编译期强制约束Container满足两个条件：支持下标访问（即提供operator[]），且下标访问的返回类型为T&（因为你要取地址返回T*，非const引用才能转换为非const指针），可以用以下两种方式：

方法一：C++11及以上版本（static_assert + 类型推导） #

利用decltype推导下标访问的返回类型，结合std::is_same和static_assert在编译期触发检查：

#include <type_traits>
#include <utility> // 用于std::declval

template <typename T, typename Container = std::vector<T>>
class MyClass
{
private:
    Container arr;

    // 编译期检查：Container必须支持下标访问，且返回T&类型
    static_assert(std::is_same_v<decltype(std::declval<Container>()[0]), T&>,
                  "错误：Container必须支持下标访问，且返回类型为T&");

public:
    MyClass();
    
    T* get_pointer(size_t index)
    {
         return &(arr[index]);
    }
};

说明： #

• std::declval<Container>()：在编译期模拟生成一个Container类型的对象引用，无需实际构造对象。
• decltype(...)：获取Container::operator[]的返回类型。
• std::is_same_v<...>：对比返回类型是否为T&，不匹配则触发static_assert的错误提示。

方法二：C++20及以上版本（Concepts约束） #

C++20引入的Concepts可以更直观地定义模板约束，错误信息也更友好：

#include <concepts>
#include <vector>

// 定义Concept：约束容器支持下标访问并返回T&
template <typename Container, typename T>
concept SupportsSubscriptToT = requires(Container c, size_t idx) {
    { c[idx] } -> std::same_as<T&>;
};

// 用requires关键字应用Concept约束
template <typename T, typename Container = std::vector<T>>
requires SupportsSubscriptToT<Container, T>
class MyClass
{
private:
    Container arr;

public:
    MyClass();
    
    T* get_pointer(size_t index)
    {
         return &(arr[index]);
    }
};

说明： #

• SupportsSubscriptToT Concept直接通过requires表达式检查：调用c[idx]的返回类型必须与T&完全匹配。
• 当实例化MyClass时，如果Container不满足约束，编译器会直接抛出清晰的错误，告知哪个约束未被满足。

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