1回答
如果有人能解释一下C++ 20+编译器(在我的例子中是MSVC2022)是如何编译以下代码的，我将非常感激，为什么这个简单的概念没有效果？
浏览 18提问于2021-11-14得票数 1
回答已采纳
2回答
我想实现一个成员函数有多种返回类型的concept。 例如： template<typename C> {a.begin()} -> std::same_as<typename C::const_iterator>;
}; 上面的代码是强制a.begin()的返回类型为C::iterator或C::const_iterator。 但是它不能编译。 有没有其他的方法呢
浏览 32提问于2020-08-10得票数 1
回答已采纳
C++20为标准库中的不同类型的迭代器引入了适当的概念(输入、输出、前向、双向、随机访问、.)。template<class I> input_or_output_iterator<I所有迭代器概念都会检查相应的标记，如。在这方面，输出迭代器一直是特殊的，。
浏览 4提问于2020-07-11得票数 7
我试图要求树的根应该满足MyObjConcept0_，为了简单起见，它只是一个整数。为什么当我在Tree_概念的requires子句中使用这个概念时，结果是假的？为什么{ t.root }子句的返回类型是一个整数--我的意思是这是有意义的，因为当你以这种方式访问一个成员时，你会得到一个引用。那么，为什么在39:00的演示文稿中，这个(与MyObjConcept0_相同)需要通过子句？
从这个演示文稿的角度来看，标准中有什么改变了吗?还是我盲目地遗漏了什么？
浏览 0提问于2020-08-11得票数 5
1回答
如何正确评估概念声明/要求子句中的值？考虑一个概念is_red，该概念检查给定类型是否将color静态cx成员设置为/*undefined*/::red，其中`/未定义/在枚举中；concept以下是我目前评估概念中的值的方法：using if_t = std::conditional_t<condition,
浏览 1提问于2021-05-04得票数 0
回答已采纳
3回答
只移动输入和输出迭代器
、、、
关于/-s，修改它们的语义是一致的吗？当然，我指的是新创建的自定义迭代器，而不是STL迭代器。在此操作之后，不需要r是可递增的，并且不再需要r以前值的任何副本都是可撤销的或可增量的。
浏览 8提问于2016-02-06得票数 1
回答已采纳
1回答
这个MCVE在Visual (2019年，带有C++20标志)和g++10 (同时设置了C++20选项)中都遇到了麻烦。每种情况下的抱怨都是，bool不是类型约束。(那么，我应该键入什么来要求给定的类型具有这样的成员函数？)
浏览 5提问于2020-06-09得票数 0
回答已采纳
2回答
所以我有一个概念Fooableconcept bool Fooable() return requires(...){ ... };我有一个类模板requires Fooable<T>};
在概念TS的C++17中，还是在C++2a中，这是可能的？
浏览 0提问于2018-07-19得票数 10
回答已采纳
1回答
在C++中，有两个抽象工具:抽象类和模板。为了克服使用模板的一些缺点(例如，难以读取错误消息)，C++引入了概念。
但据我所知，两者也有显著的不同。例如，C++的概念似乎定义了一组必须有效的表达式，而不是列出函数签名。但是有很多不同的和令人困惑的信息(可能是因为
浏览 2提问于2019-05-08得票数 63
我看了std::random_access_iterator和其他迭代器的概念
这就是GCC的实现方式。
浏览 7提问于2021-06-19得票数 2
回答已采纳
2回答
我正在学习C++20的概念，我遇到了下面的例子，我不知道它是否有良好的格式(根据标准)。该程序被所有编译器接受：。
基本上，我想知道这是否是正确的概念用法。
浏览 9提问于2022-07-30得票数 -1
为了说明这一点，我想要一个接口，并认为C++20有一个接口机制。我从来没有使用过C++20，大约两个小时前我找到了concepts。所以这里的错误可能很简单。
浏览 10提问于2021-01-30得票数 1
回答已采纳
概念TS中的C++概念最近被合并到GCC主干中。概念允许通过要求类型满足概念的条件(例如，“可比”)来约束泛型代码。
Haskell有类型类。我对Haskell不太熟悉。概念和类型类之间有什么关系？
浏览 3提问于2015-08-20得票数 39
回答已采纳
1回答
下面的侦听器概念需要更新<V>的模板输入参数，其中V与MySignal的模板参数V匹配。如果我更改了侦听的参数(.)要使用Func，它可以编译--但我的假设是，概念/ lambda方法必须解析为完全相同的类型--那么为什么约束没有得到满足呢？我的问题也可以用更好的措辞--我不明白的关键是，为什么我似乎可以在requires子句(即更新)中定义一个带有模板的param的概念(即更新)，但编译器随后以不满足约束为由拒绝了下面的代码。
浏览 3提问于2022-07-11得票数 2
回答已采纳
在这里，我详细描述了一个概念中使用的requires子句的一个奇怪之处。我想要的是一个概念，它指示某个函数类型是否可以使用一系列参数进行调用。根据我的理解，如果用提供的参数调用函数是一个有效的操作，包括转换，这个概念应该评估为true。，因为我直接在requires子句中使用代码体。为什么编译器不完全检查概念的requires子句中的代码的有效性？两项免责声明：请注意，我使用的是g++ 11.3和
浏览 2提问于2022-11-02得票数 8
回答已采纳
1回答
C++ 2a -多态范围
、、、、
我正在编写一个C++库，并且有了尽可能多地使用C++2a/C++20的惊人想法。因此，我使用标准库概念并创建自己的库。然而，函数返回std::vector<X>的想法对我来说已经够非C++20了，所以我在我的概念中声明了一个匹配std::ranges::view<X>的返回类型。然后，我实现了一些实现这个概念的类。因此，假设概念是C，我有三个实现类C1、C2和C3 (但允许更多)。在标头和C++引用中，我没有看到任何这
浏览 1提问于2020-02-13得票数 2
回答已采纳
3回答
我在一个从任何模板中完全删除的上下文中处理C++概念和函数重载，偶然发现了以下内容：{无视常量字面概念的明显无用性，我的问题是：是带有的程序，它们总是** false 格式错误，可能不需要诊断？，或者，就像g++所说的，甚至是根本没有合法C++的程序？
浏览 6提问于2021-07-16得票数 23
回答已采纳
1回答
我看过clang格式样式选项，但没有看到任何对c++概念和requires子句的引用。通常，我可以配置clang-格式来完成我想做的事情，但是我想不出如何让它处理我的概念并很好地要求子句：
std::same_as<T, std::invoke_result_t<F, T, parser
浏览 1提问于2020-06-05得票数 18
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
云直播
对象存储
腾讯会议活动推荐
腾讯云开发者
