C++中如何检查类型是否支持整数参数的[][]操作符？

这个需求很贴合实际场景——想要构造函数兼容所有能像二维数组那样用[整数][整数]访问元素的类矩阵类型对吧？我们可以借助C++的SFINAE机制结合自定义类型特性来实现这个编译期检查，一步步来：

1. 定义类型特性：检测是否支持双整数下标访问 #

首先我们需要一个编译期的"判断器"，用来确认某个类型T满足：

• T本身可以接受整数类型的下标（即有operator[]，参数为整数）
• 调用T[]后返回的类型，同样可以接受整数类型的下标

在C++17及以上，我们可以用std::void_t来简化这个检测，先写一个基础模板（默认判断为不满足），再通过偏特化来匹配符合条件的类型：

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

// 自定义void_t，兼容C++11/14（C++17自带std::void_t）
template <typename...>
using void_t = void;

// 基础模板：默认不满足条件
template <typename T, typename = void>
struct is_two_dimensional_indexable : std::false_type {};

// 偏特化：当T满足双下标访问时，判断为true
template <typename T>
struct is_two_dimensional_indexable<T, void_t<
    // 检查T[整数]是否合法
    decltype(std::declval<T>()[std::declval<std::size_t>()]),
    // 检查T[整数][整数]是否合法
    decltype(std::declval<T>()[std::declval<std::size_t>()][std::declval<std::size_t>()])
>> : std::true_type {};

// 方便使用的变量模板（C++14及以上）
template <typename T>
constexpr bool is_two_dimensional_indexable_v = is_two_dimensional_indexable<T>::value;

为什么这么写？ #

• std::declval<T>()可以在不需要构造实例的前提下，获取一个T类型的右值引用，用来测试表达式合法性
• void_t的作用是：如果模板参数里的所有表达式都合法，那么这个偏特化就会被选中，此时特性的类型为std::true_type
• 这里用std::size_t作为下标参数，它是标准容器常用的整数下标类型；如果你的场景需要支持更多整数类型（比如int），也可以换成std::declval<int>()，或者同时检测多种整数类型（不过一般来说，只要支持一种整数下标就足够覆盖大部分类矩阵类型了）

2. 在构造函数中使用这个类型特性 #

接下来，我们把这个特性用在构造函数上，借助std::enable_if来实现SFINAE：只有当类型T满足双下标访问条件时，这个构造函数才会被编译器实例化。

比如我们写一个包装类：

template <typename T>
class MatrixAdapter {
public:
    // 带SFINAE约束的构造函数：仅当T满足双下标访问时生效
    template <typename U = T, 
              std::enable_if_t<is_two_dimensional_indexable_v<std::decay_t<U>>, int> = 0>
    MatrixAdapter(U&& matrix) : m_matrix(std::forward<U>(matrix)) {}

    // 示例：用双下标访问内部矩阵
    auto operator[](std::size_t row) -> decltype(auto) {
        return m_matrix[row];
    }

    auto operator[](std::size_t row) const -> decltype(auto) {
        return m_matrix[row];
    }

private:
    T m_matrix;
};

细节说明： #

• std::decay_t<U>用来处理类型的cv限定符和引用，确保即使传入const T&或者T&&，我们检测的是原始类型T的特性
• std::forward<U>用来完美转发构造参数，避免不必要的拷贝
• decltype(auto)用来自动推导返回值类型，保持原矩阵的下标返回类型（比如引用、代理类等）

3. 测试验证 #

现在这个构造函数就会自动适配所有符合条件的类型：

• 标准容器：std::vector<std::vector<int>>、std::array<std::array<double, 5>, 5>
• 自定义矩阵类：比如返回代理类的矩阵实现（像那种内部用一维数组存储，通过下标代理实现二维访问的类）
• 原生二维数组：比如int arr[5][5]（注意数组会退化为指针，int(*)[5]也支持双下标访问）

而对于不满足条件的类型（比如std::vector<int>、int），编译器会因为SFINAE规则，跳过这个构造函数的实例化，如果没有其他匹配的构造函数，就会直接报错，达到了我们想要的约束效果。

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