有关编程语言和环境的正式或权威规范的复杂性的问题。
Clang 拒绝 constexpr 函数中不明确的枚举值（gcc 有效）
在以下示例中，Clang 仅在函数的 constexpr 版本中失败： 枚举 foo { 栏 }; 自动 baz() { 返回 static_cast(-1); } constexpr auto barf() { return static_cast&l...
这段代码 结构内部{ 内（）; 〜内部（）； }; 结构外层{ 使用内部=::内部； }; 外部::内部::内部() { // } 外部::内部::~内部() { // } 由 GCC 编译至
我想做类似以下的事情： //std::vector> someInitializingFunction(); { A型a； B型b； for (std::tie(a, b) : someInitializingFunction(...
从多个线程调用 `std::shared_future<T>::wait`
cppreference 明确关于从多个线程调用 std::shared_future::wait ： 从多个线程调用同一个 std::shared_future 的 wait 是不安全的；预期用途是
该网站暗示清除向量可能会改变容量： http://en.cppreference.com/w/cpp/container/vector/clear 许多实现在调用后不会释放分配的内存 ...
C++ 标准中声明模板参数推导的类型推导失败不是错误 (SFINAE) 的确切引用是什么？
以下来自 CPPreference 的引用很清楚： 此规则适用于函数模板的重载解析期间：当用显式指定或推导的类型替换模板参数时...
如果有[[noreturn]]，那为什么没有[[always_return]]？
如果有[[noreturn]]（C2X，n3301），那为什么没有[[always_return]]？ [[always_return]] 的语义可能如下： 使用 [[always_return]] 属性声明的函数应
A类{ 民众： 一个（）{} }; int main() { 类::A* a = 新类::A(); 返回0； } 上面的代码编译通过了，看来class::没有任何意义，我想知道为什么class::A是...
考虑这个例子： #包括 #包括 #包括 #包括 int need_close(){ 随机设备rd； std::mt19937 gen(rd());
C++23 中类的比较运算符是否可以具有与类类型不同的类型的显式对象参数？ 例如考虑 结构体A { 整数我； constexpr 布尔运算符==（这在...
类模板的成员函数有条件地无效（隐式实例化有效；显式实例化失败）
我创建了一个类模板。根据其模板参数，它支持不同的操作。类模板应（隐式）实例化模板参数的几种组合......
ECMA 证明，在 JavaScript 中，Promise 处理程序（然后，catch）在 Promise 得到解决或拒绝后会排队到微任务队列中
我正在搜索声明的证明，在javascript中，promise处理程序（然后，catch）在promise得到解决或拒绝后会排队到微任务队列中。 首先是上面的陈述正确的是
在 2.5.1 的最新 UML 规范中，重写的 StringExpression::stringValue() 的 OCL 语言实现在第 130 页的第 8.6.17.5 节“操作”中给出： ...
C++ (n4917.pdf), 4.1.2p5（强调已添加）： 执行格式良好的程序的一致实现应产生与以下相同的可观察行为： 相应的可能执行之一...
UML 命名空间和“isDistinguishableFrom”
此操作已在第 12 页中描述。 UML 2.5.1 规范的 91 第 7.8.9.7 节“操作”中的 NamedElement 描述。我想了解如何做到这一点
在以下代码中，类 Entity 的前向声明嵌入到 using 声明中。目标是避免在头文件中包含“Entity.h”。该代码似乎适用于不同的...
在下面的程序中，struct A 有默认的友元相等比较运算符，再次重新声明它以获取函数的指针（&operator==）： 结构体A { 朋友 constexpr b...
谁在 return 语句（C++）中捕获复制构造函数的异常？
假设我有一个按值返回的函数 Sf()； 我这样称呼它： 自动 s = f(); 如果 S 的复制构造函数抛出异常，并返回 some_s； f 内部被 try-catch 块包围， 是吗
`std::is_trivially_copyable` GCC 和 Clang 之间对于类型包装器的分歧
考虑以下仅移动类型： 结构体仅移动 { 仅移动（）=默认； 〜仅移动（）=默认； MoveOnly(const MoveOnly&) = 删除; MoveOnly& 运算符=(co...
使用列表初始化的引用初始化被 gcc 和 msvc 接受但被 clang 拒绝
考虑以下使用 gcc、msvc 和 edg 编译但被 clang 拒绝的示例。演示 结构X { 民众： X(){} }; 结构Y：X { }; 结构Z { 民众： 运算符