如何定义一个可以结构化绑定的对象的概念? [英] How to define a concept of a object that is can be structured binding?
本文介绍了如何定义一个可以结构化绑定的对象的概念?的处理方法,对大家解决问题具有一定的参考价值,需要的朋友们下面随着小编来一起学习吧!
问题描述
我想定义一个可以检测T
类型是否可以结构化绑定的concept
:
template <typename T>
concept two_elements_structured_bindable = requires (T t) {
auto [x, y] = t;
};
但这不能编译。这样的concept
有什么合适的定义吗?
推荐答案
否
结构化绑定有三种情况:
数组。这很容易检测到。
类元组。您可以很容易地检查
std::tuple_size<E>::value
是否有效,然后检查std::tuple_element<I, E>::type
是否作为所有正确类型的有效类型。但get
的情况比较困难,因为您必须处理成员和非成员...但除此之外,我认为这是可行的。类型,将所有公共(是的,技术上可访问的)成员作为同一类的直接成员。用目前的技术,这是不可能检测到的。
magic_get
我认为可以处理struct X { int a, b; };
,但struct Y : X { };
和struct Z { X& x; };
都不需要正确的反射来检查这种情况。
从C++20开始,您将需要某种固有的编译器来执行此操作。
这篇关于如何定义一个可以结构化绑定的对象的概念?的文章就介绍到这了,希望我们推荐的答案对大家有所帮助,也希望大家多多支持IT屋!
查看全文