如何让非成员在<N>命名空间中为自定义类工作 [C++17]

How to get non-member get<N> to work for custom class in a namespace [C++17]

本文关键字：自定义 C++17 工作 命名空间 成员 lt gt      更新时间：2023-10-16

>C++17引入了结构化绑定声明：auto [a, b] = some_tuple;.

这对于像 std：：tuple 这样的东西来说是开箱即用的。也可以使其适用于自定义类型，您只需提供(除其他外)一个 get-function 模板，作为成员或在自定义类之外。

对于标准类，这是通过 std 命名空间中的非成员 get 完成的：auto a = std::get<0>(some_tuple);有效，但不能auto a = some_tuple.get<0>();。

但这里对我来说很奇怪：由于我们必须为 get 显式指定模板参数 N，因此 ADL 不起作用，例如，我们不能只写auto a = get<0>(some_tuple);.但是，带有元组的结构化绑定声明也不应该起作用，因为它只是像get<N>(some_tuple)或some_tuple.get<N>()这样的调用的语法糖(模化一些&)！事实上，当我只为命名空间内的自定义类提供非成员版本的 get 时，它不起作用！编辑：自定义类的结构化绑定也可以正常工作，请参阅接受答案中的代码片段以获取最小示例！

那么，标准的实现者如何在没有 get 作为成员的情况下使结构化绑定适用于元组，以及如何为我的自定义类实现相同的行为？

他们作弊。

但是您可以通过向全局命名空间添加模板 get 来模拟他们的作弊行为。

template<class T, std::enable_if_t<std::is_same<T,void>{}, bool>>
void get(int)=delete;

这应该激活"解析获取作为模板"。

您无需执行此操作即可使结构化绑定正常工作。 如前所述，编译器只是作弊：

namespace example {
struct silly {
int x;
};
template<std::size_t I>
int& get( silly& s ) { return s.x; }
}
namespace std {
template<>
struct tuple_size<::example::silly>:std::integral_constant<std::size_t, 1>{};
template<>
struct tuple_element<0, ::example::silly>{ using type=int; };
}
int main() {
example::silly s { 42 };
auto&& [x] = s;
std::cout << x;
}
相关文章：