std::bind on statd::array 的运算符 []

我正在尝试在 std：：array 的 or operator[] 处绑定一个成员函数，但编译器 (gcc 7.3( 说它无法确定_Func的类型名。所以我创建了自己的结构数组来查看问题所在。但在这种情况下，它适用于鳍。

#include <iostream>
#include <functional>
#include <array>
template<typename ret, unsigned int size>
struct my_arr {
ret data[size];
ret& at(unsigned int i) {return data[i];}
ret& operator[](unsigned int i){return data[i];}
};
using namespace std::placeholders;
using namespace std;
int main() {
my_arr<int,3> ma = {1,2,3};
auto x = std::bind(&my_arr<int,3>::at, _1, 0); // ok
auto x1 = std::bind(&my_arr<int,3>::operator[], _1, 0); // ok
auto arr_x = std::bind(&array<double, 3>::at, _1, _2); // error
auto arr_x = std::bind(&array<double, 3>::operator[], _1, _2); // error
std::cout << x(ma) << std::endl << x1(ma) << std::endl;
}

编译错误为：

调用 'bind(， const std：：_Placeholder<1>&， const 时没有匹配函数 标准：：_Placeholder<2>&(' auto arr_x = std：：bind(&array：：at， _1， _2(; ^

---

我已经意识到导致此错误的原因，但我仍然不知道如何解决它。问题是编译器不知道我引用哪个函数，因为这些函数有常量和非常量变体。此代码模拟相同的错误。

#include <iostream>
#include <functional>
#include <array>
template<typename ret, unsigned int size>
struct my_arr {
ret data[size];
ret& at(unsigned int i) {return data[i];}
const ret& at(unsigned int i) const {return data[i];}
ret& operator[](unsigned int i){return data[i];}
};
using namespace std::placeholders;
using namespace std;
int main() {
my_arr<int,3> ma = {1,2,3};
auto x = std::bind(&my_arr<int,3>::at, _1, 0); // error
auto x1 = std::bind(&my_arr<int,3>::operator[], _1, 0); // ok
std::cout << x(ma) << std::endl << x1(ma) << std::endl;
}

我仍然不知道如何指定我要调用哪个版本的函数，如何绑定常量版本和非常量版本？

auto x = std::bind(static_cast<int&(my_arr<int, 3>::*)(unsigned int)>(&my_arr<int,3>::at), _1, 0);

auto x2 = [&ma](auto const p) { return ma.at(p); };
std::cout << x2(0) << std::endl; // output: 1