如何用C++ Concepts区分一维与二维容器？

你的问题核心在于c[0, 0]会被C++编译器解析为逗号运算符表达式：0, 0的结果是第二个0，所以等价于调用c[0]——这也是一维容器会误匹配Container2D的原因。下面提供两种针对性的解决方案：

方案1：匹配嵌套式二维容器（最常用场景） #

如果你的二维容器是嵌套的一维容器（比如std::vector<std::vector<int>>、std::array<std::array<double, 5>, 3>这类），可以让Container2D直接要求容器的元素本身满足Container1D概念：

#include <iterator>
#include <vector>
#include <array>

template<typename C>
concept Container1D = requires(C c) {
    std::begin(c);
    std::end(c);
    c[0];
};

template<typename C>
concept Container2D = requires(C c) {
    std::begin(c);
    std::end(c);
    // 要求容器的元素是一维容器
    requires Container1D<decltype(c[0])>;
};

// 验证用例
static_assert(Container1D<std::vector<int>>);
static_assert(!Container2D<std::vector<int>>);

static_assert(Container2D<std::vector<std::vector<int>>>);
static_assert(Container2D<std::array<std::array<double, 5>, 3>>);

这种方式逻辑清晰，完全贴合日常开发中二维容器的使用习惯。

方案2：匹配重载双坐标参数的自定义容器 #

如果你的自定义容器是通过重载operator[]接受一个包含双坐标的类型（比如std::pair、自定义Point结构体），需要在requires子句中明确传递该类型的参数，避免逗号运算符的干扰：

#include <iterator>
#include <utility>

template<typename C>
concept Container1D = requires(C c) {
    std::begin(c);
    std::end(c);
    c[0];
};

template<typename C>
concept Container2D = requires(C c) {
    std::begin(c);
    std::end(c);
    // 检查是否支持接受std::pair<int, int>的operator[]
    c[std::pair{0, 0}];
};

// 自定义二维容器示例
struct My2DContainer {
    int operator[](std::pair<int, int> coords) {
        return coords.first + coords.second;
    }

    // 满足begin/end的基础要求（实际场景需实现完整迭代器）
    int* begin() { return nullptr; }
    int* end() { return nullptr; }
};

// 验证用例
static_assert(!Container1D<My2DContainer>);
static_assert(Container2D<My2DContainer>);

注意：不推荐通过重载逗号运算符来实现c[0,0]的写法，这种技巧会破坏代码可读性，且极易引发语法歧义。

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