有很多和*_v后缀*_t，例如std::is_same_v、std::invoke_result_t和数result_of_t以百万计的其他此类函数。
它们为什么存在？std::result_of::type在任何情况下公开诸如或 之类的实现细节是否有益std::is_same::value？忽略标准合规性，_v _t版本是否应该始终是首选？难道这些::type ::value版本根本就不存在吗？
在代码审查/clang-tidy 运行时，我遇到了一个具有如下签名的函数：
void appendFoo(const char * fmt, va_list& rVaList);
我以前从未见过这个。Afaik，您可以va_list按值传递（也可以通过指针传递？）。
这引出了我的第一个问题：通过va_list引用传递合法吗？它是否按预期工作？
不管怎样，appendFoo()调用vsprintf()它的定义和 clang-tidy 给出了以下警告：Function 'vsprintf' is called with an uninitialized va_list argument [clang-analyzer-valist.Uninitialized]。看起来的定义appendFoo()基本上是这样的：
void appendFoo(const char * fmt, va_list& rVaList) {
// retracted: allocate buffer
vsprintf(buffer, fmt, rVaList);
// errorhandling
// de-allocate buffer
}
（是的， 的返回值vsprintf被忽略，错误以另一种方式“处理”。我正在修复它......）
特别是，不va_copy调用va_start、 等。
删除引用va_list并按值传递，即将签名更改为void appendFoo(const char * fmt, va_list rVaList);，消除了 clang-tidy 警告。 …
我正在运行一个提供服务的 C++ 程序，并注意到即使不提供任何请求，它也会占用 100% 的 CPU。我将问题缩小到一个 while 循环，该循环调用std::sleep_for以防止服务退出。
为了测试，我编译并运行了这个简单的测试程序：
#include <chrono>
#include <thread>
int main(int argc, char * argv[])
{
std::this_thread::sleep_for(std::chrono::hours::max());
}
我的预期是它会休眠很长时间，事实上，当我在 M1 Mac 上尝试它时，我看到了预期的行为。然而，当我在 Redhat Linux 8 机器上运行它时，它立即返回。我还在 Mac 上运行的 Rocky Linux 8 docker 容器上进行了尝试，这也立即返回。这证实了这种情况通常发生在 RHEL 8 系统上 - 或者至少在 gcc 8.5.0 上发生，因为两个 Linux 系统上的编译器版本是相同的（Mac 上的编译器是 Apple 提供的 clang）。
这解释了为什么我的服务占用了 100% 的 CPU，因为它是在 while 循环中调用的。但我从未听说过这种行为。还有其他人吗？
当然，我可以通过睡一会儿来轻松解决问题std::chrono::seconds(1)。我只是出于求知欲才问这个问题。
是否可以*this在成员函数内完美转发对象？如果是的话，我们该怎么做呢？如果不是，那么为什么不呢？我们有哪些替代方案可以达到同样的效果。
请参阅下面的代码片段以更好地理解该问题。
class Experiment {
public:
double i, j;
Experiment(double p_i = 0, double p_j = 0) : i(p_i), j(p_j) {}
double sum() { return i + j + someConstant(); }
double someConstant() && { return 10; }
double someConstant() & { return 100; }
};
int main() {
Experiment E(3, 5);
std::cout << std::move(E).sum() << "\n"; // prints: 108
std::cout << E.sum() << "\n"; // prints: 108
}
如果我们认为*this成员函数内的对象double sum()始终是左值或x值（因此是左值），则此输出似乎是预期的。请确认这是否属实。
如何才能完美地将*this对象转发给成员函数 …
关于语义，我有些不明白constexpr。x当然，在堆栈上分配的地址无法在编译时计算出来。
constexpr auto foo()
{
int x = 5;
return &x;
}
static_assert(foo() == 0);
尽管如此，这段代码仍然可以编译（GCC 13.2 -std=c++20），并且 的地址x等于0，这可以在通过的声明中看到static_assert。
我只是在编译器资源管理器中玩一些 C++ 代码，并在编译简单的try/catch块时注意到一些意外的行为。以下两个片段都是使用 gcc 使用优化标志编译的-O3（实时示例）。
在第一个程序中，整个try/catch块被删除，因为行为上没有明显的差异，从而产生与return 0;. 这正是我期望编译器产生的结果。
int main() {
try {
int x{ 10 };
}
catch (...) {
}
return 0;
}
main:
xor eax, eax
ret
在第二个片段中，我有throw一个例外，而不是仅仅初始化一个int. 抛出该异常后，我将继续使用catch-all 处理程序，该处理程序是空的。之后就只有return 0;声明了。这意味着该程序的可观察行为将与第一个程序相同。然而，大会表明，整个事情仍在try继续catch。
int main() {
try {
throw 10;
}
catch (...) {
}
return 0;
}
main:
push rcx
mov …c++ error-handling exception try-catch compiler-optimization
我知道这可能与问题重叠：什么是 \xe2\x80\x9cspan\xe2\x80\x9d 以及我何时应该使用它？，但我认为问题的这个特定部分的答案相当令人困惑。一方面，有这样的引用：
\n\n\n如果您有一个标准库容器（或 Boost 容器等），并且您知道它最适合您的代码，请不要使用它。它无意取代其中任何一个。
\n
但在同一个答案中，出现了这样的说法：
\n\n\n当您希望数据在内存中连续时，是将 const vector& 传递给函数的合理替代方案。再也不用被 C++ 大师骂了！
\n
那么我没有到达哪一部分呢？我什么时候会这样做：
\nvoid foo(const std::vector<int>& vec) {}\n而这是什么时候呢？
\nvoid foo(std::span<int> sp) {}\n还有，这会不会
\nvoid foo(const std::span<int> sp) {}\n有什么意义吗？我认为不应该，因为 astd::span只是 a struct，包含指针和长度。但是，如果它不能阻止您更改std::vector作为参数传递的值，那么它如何替换const std::vector<T>&？
有谁知道这是什么类型的UB吗？使用 MSVC 19.29.30148 构建时，以下代码在jthread销毁时死锁，有时在 std::cout 之后死锁，有时在之前死锁。这在某种程度上与 thread_local 有关，但我看不出问题是什么。它似乎在其他编译器和平台下工作得很好。
#include <thread>
#include <memory>
#include <iostream>
int main(void)
{
std::thread t2(
[&] {
thread_local std::jthread asd([] {
std::cout << "ASD" << std::endl;
});
});
if (t2.joinable()) { t2.join(); }
}
更新：在静态和动态运行时均可重现