C++中Nifty Counter示例实现是否因类型别名规则属于未定义行为？

结论 #

你提到的经典Nifty Counter（又称Schwartz计数器）示例写法，从C++标准严格判定确实属于未定义行为，你查到的两种修正写法是符合标准要求的合法实现。

违规原因说明 #

原写法的核心问题出在指针/引用的合法性上，C++标准对对象指针的有效性有明确约束：

• 你通过reinterpret_cast<Stream&>(stream_buf)拿到的引用，原始指向的是std::aligned_storage类型的内存缓冲区，此时缓冲区中还没有Stream对象。
• 后续执行placement new构造Stream对象后，之前已经拿到的stream引用并不会自动变成指向新构造Stream对象的合法引用。直接通过这个引用访问对象，违反严格别名规则，属于标准定义的未定义行为。
• 该写法之所以在实际工程中被广泛使用且很少出问题，是因为GCC、Clang、MSVC等主流编译器都对这个常用惯用法做了特殊兼容，不会触发相关激进优化，但不代表它符合标准规范。

符合标准的两种修正方案 #

方案1：直接使用placement new的返回值

placement new表达式的返回值天生就是指向新构造对象的合法指针，不需要依赖重解释转换的结果：

// Stream.cpp 核心逻辑修正
static int nifty_counter;
static typename std::aligned_storage<sizeof(Stream), alignof(Stream)>::type stream_buf;
static Stream* stream_ptr; // 改为指针存储，也可以用引用接收解引用结果

StreamInitializer::StreamInitializer ()
{
  if (nifty_counter++ == 0) {
    stream_ptr = new (&stream_buf) Stream(); // 直接接收placement new返回值
  }
}

StreamInitializer::~StreamInitializer ()
{
  if (--nifty_counter == 0) {
    stream_ptr->~Stream();
  }
}

方案2：C++17及以上版本使用std::launder修正指针

C++17引入的std::launder可以用于获取指向已有内存中构造的对象的合法指针：

Stream* streamPtr = std::launder(reinterpret_cast<Stream*>(&stream_buf));

注意这种写法仅适用于C++17及更高版本的标准，低版本标准不支持std::launder。

内容的提问来源于stack exchange，提问作者Zebrafish