C++概念：模板实例化检查
template<typename A, typename B, typename C>
struct mytype { };
template<typename T>
concept MyType = requires(T x) { ??? }
共有1个答案
为了简洁起见：
template<typename T>
concept MyType = requires(T** x) {
[]<typename A, typename B, typename C>(mytype<A, B, C>**){}(x);
};
双指针是必要的，以避免派生到基的转换，例如。结构S:MyType
目前这在clang中不起作用，因为它不允许在未计算的上下文中使用lambdas。您可以通过提供帮助变量模板来解决此问题：
template<class T> constexpr auto L = []<typename A, typename B, typename C>(mytype<A, B, C>**){};
template<typename T>
concept MyType = requires(T** x) { L<T>(x); };
template<typename T>
concept MyType = requires(T** x) { [](mytype<auto, auto, auto>**){}(x); };
-
对于概念，提供了很好的语法，如
-
有了C++20和概念，我想知道是否可以写一个概念来检查一个类型是否有一个带有特定名称的函数，该函数接受任意数量的任意参数。 以下面的代码为例（使用GCC当前的概念TS语法）：
-
我有类似于这个问题用例 我想检查什么类型的实例变量存储在参数中而不引发异常 我想做的是这样的事情 我如何改变这个实现，使它允许我窥视什么类型的参数是持有的 谢谢你的回答，还有几点 我是C++11所以不能使用variant或any 有没有标准的方法。我想要的是一个实例变量的类，可以是多种类型（有界的），并在阅读它时，检查它是什么类型
-
这个问题演示了如何使用C++20概念为函数模板选择重载。我试图做一些类似的事情：为类模板选择专门化。 编译器将此附加实现视为使用不同约束对模板的重新声明。我尝试了几种不同的方式来表达我的意图，但没有一种能满足我所尝试的编译器。事实上，我甚至无法用和传统的SFINAE实现这一点--诚然，我完全有可能不太理解SFINAE。 我发现的唯一方法需要对每种整型和浮点型进行不同的专门化。 [是的，我知道还有几
-
当我尝试编译这段代码时 对于g 4.8.2，我得到以下错误消息 （与3.4版本的叮当声几乎相同）。 首先，我认为代码是正确的，应该进行编译，因为foobar是模板声明中的一个依赖名称，应该仅在模板实例化的第二阶段进行查找。在最后一行中完成此操作时，已声明“foobar（int）”。顺便说一句，当我取消注释最上面的行时，代码会编译，但这两个声明都在实例化之前，所以这应该无关紧要。 其次，我觉得错误信