c++20

我正在编写一个库函数，它能够处理任何整型，但我想阻止它也处理字符类型(例如char char16_t等)，因为它可能会让用户感到困惑(我有一个单独的函数处理字符，应该看起来像字符)。 我目前使用的代码如下: template...

当我#包含一个头文件在一个模块单元的全局模块片段，我遇到了一些链接错误由MSVC和GCC一起提供。 首先，我有一个头文件header 。h，像这样: #pragma once int f(); const int value = f(); 然后我定义了一...

考虑这样一种情况:有一些类A和一个工厂类factory在一起。A应该只有私有构造函数(以防止用户创建这样的对象)，并且是Factory的朋友，后者可以构造类型A的对象。 A也有一些私有属性，不能在A的构造函数中设置(因为...

c++ 20提供了很好的语法 template<typename T> concept SomeConcept = true; // stuff here template<typename T> requires SomeConcept<T> class Foo; template<SomeConcept T> c...

我想要得到满足某个概念的所有完整类型。这些类型应该作为std::tuple的元素类型列出。 : #include <concepts> #include <tuple> class A{}; template<typename T> concept InterestingTyp...

假设我有这个: using sftype = void (*)(bool real, sftype target); 我知道这会导致递归调用，但实现应该是这样的: void someFunc(bool real, sftype another = nullptr) { return; } 我希望能够将...

考虑以下程序: template<typename T> struct A { T t[2]; }; int main() { A a{1}; // only one value provided for 2-element array return a.t[0]; } 在c++ 20模式下，它在gcc中编译良好...

#include <functional> #include <type_traits> template<typename T> requires (!std::is_void_v<T>) struct A {}; int main() { A<void>* p...

我一直试图在不复制对象的情况下将对象转发给父对象。我似乎做不到这一点，也不知道为什么。 这里有一个我想做的事情的例子。但是它不能编译。 class Initialisee { public: Initialisee() = def...

Clang和MSVC已经支持未完成的c++ 20标准中的模块TS。 我可以用CMake或其他构建系统构建基于项目的模块吗？ 我尝试了build2，它支持模块，它工作得很好，但我有一个关于它的依赖管理的问题(UPD:问题是封闭的)。 ...

如果我正确理解了直接函数的规则，下面是一个合法的用法: consteval void func(int& a) { /* Anything here... */ } 可以调用这个函数吗？我找不到任何方法这样做，因为consteval强制这必须在编译时表达式...

我试图为不同的模板类型提供算术运算符+-*/(和就地+=等)的类外定义。我读到c++ 20概念是一个很好的方法，因为可以约束输入/输出类型，只提供一个模板定义，尽管我找不到很多这样的例子…… 我使用一个类型安全的v...

在我的项目中，我有一些自定义类，大致结构如下。 表示2D int坐标的点 struct Point { int x; int y; } 在两点之间画的线 class Line { Point start; Point end; } 多边形，表示由点数...

template<typename T> concept has_base = ???; // What code should be put here? struct A {}; struct B : A {}; int main() { static_assert(has_base<A> == false); static_...

@Vittorio Romeo对这个问题的回答很好地解释了constinit。在他的回答中提到了以下几点: Constexpr不等同于const constinit，因为前者要求销毁常量，而后者不要求。 虽然很清楚，但我看不出它有什么实际用途...