类构造函数设为私有后Clang编译报错但G++正常的技术咨询

1. 报错核心原因 #

Clang的报错指向私有拷贝构造函数，问题出在函数返回对象时的拷贝逻辑：

• MyStruct::make()和copy()返回MyStruct对象，当你在main中用auto my_struct = ...接收返回值时，理论上会触发拷贝构造函数（由于未定义移动构造函数，编译器会尝试调用拷贝构造）。
• 拷贝构造函数被设为private，而main属于类外部代码，无权调用私有成员，因此Clang直接报错。

G能编译通过是因为启用了返回值优化（NRVO）：编译器直接在main的变量内存空间中构造对象，跳过了拷贝操作，因此没有触发私有拷贝构造的调用。但NRVO是C标准中的可选优化，并非编译器必须实现的强制行为。

2. C++标准相关规则 #

根据C++标准：

• 类的私有成员（包括构造函数）仅允许类的成员函数、友元函数/类访问，外部代码无权调用。
• 返回值优化（NRVO、RVO）是编译器的可选优化特性，标准允许编译器选择是否执行，但代码的合法性不能依赖该优化——也就是说，即使编译器不做优化，代码也必须能正常编译。

你的代码依赖编译器的NRVO优化才能运行，这不符合标准要求，属于依赖可选优化的非法写法（当编译器关闭优化时，代码必然编译失败）。

3. Clang的行为是否合理 #

Clang的行为完全合理：它严格遵循标准进行语法合法性检查，即使可能通过优化跳过拷贝，也会确保代码在无优化场景下的合法性。而G++的编译通过是优化带来的“特例”，不代表代码符合标准。

4. 该写法是否应在C++中使用 #

绝对不应该使用这种写法，理由如下：

• 代码不可移植：不同编译器或同一编译器的不同优化级别下，可能出现编译失败的情况。
• 违反标准可靠性要求：代码正确性依赖编译器的非必须优化，属于不稳定的写法。

正确改进方案 #

针对“仅允许通过静态函数创建实例”的需求，可采用以下几种合法方式：

• 将拷贝构造函数设为public：如果需要支持对象拷贝，直接开放拷贝构造，无论是否优化，代码都能合法编译。
• 定义public移动构造函数：C++11及以后，返回临时对象会优先调用移动构造，可显式声明移动构造为public（或让编译器自动生成），避免触发私有拷贝构造。
• 返回智能指针：让静态函数返回std::unique_ptr<MyStruct>或std::shared_ptr<MyStruct>，彻底避免对象拷贝，同时严格控制实例创建路径。

示例改进代码（添加public移动构造）：

#include <iostream>
#include <optional>
#include <utility>

class MyStruct {
public:
  static auto make(int val) -> MyStruct {
    MyStruct that(val);
    return that;
  };

  auto copy() -> MyStruct {
    MyStruct copy(this->val);
    return copy;
  }

  auto value() -> int { return this->val; }

  // 显式声明移动构造为public（编译器也可自动生成，只要没有自定义拷贝构造的冲突）
  MyStruct(MyStruct&&) = default;

private:
  MyStruct() = delete;
  MyStruct(int val) { this->val = val; }
  MyStruct(const MyStruct &other) { this->val = other.val; } // 保持私有，仅类内部可调用

  int val;
};

auto main() -> int {
  auto my_struct = MyStruct::make(4);
  auto my_new_struct = my_struct.copy();

  std::cout << my_new_struct.value();
  std::cout << MyStruct::make(7).value();
}

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