如何为C++不可拷贝类提供自定义拷贝操作错误提示信息？

我有一个不可拷贝（noncopyable）的类，希望在用户尝试拷贝该类对象时给出自定义错误消息。

我试过两种方案，但都有明显不足：

• 方案一：私有声明+deprecated标记
  将拷贝构造函数和赋值运算符声明为私有，同时用[[deprecated("customized message")]]属性标记：

  struct A {
      A() = default;
  
  private:
      [[deprecated("customized message")]]
      A(const A&);
  
      [[deprecated("customized message")]]
      A& operator=(const A&);
  };
  

  编译器只会输出警告：

  warning: 'A::A(const A&)' is deprecated: customized message [-Wdeprecated-declarations]
  

  但deprecated的语义是“不推荐使用”而非“禁止”，无法真正阻止拷贝操作，达不到预期效果。

• 方案二：继承删除拷贝的基类
  让目标类继承一个已删除拷贝操作的基类：

  struct Customized_Message {
      Customized_Message() = default;
      Customized_Message(const Customized_Message&) = delete;
      Customized_Message& operator=(const Customized_Message&) = delete;
  };
  struct A : Customized_Message {
      A() = default;
  };
  

  编译器会输出冗长的错误信息：

  <source>:17:11: error: use of deleted function 'A::A(const A&)' 
     17 |     A b = a;
        |           ^
  <source>:11:8: note: 'A::A(const A&)' is implicitly deleted because the default definition would be ill-formed:
     11 | struct A : Customized_Message {
        |        ^
  <source>:11:8: error: use of deleted function 'Customized_Message::Customized_Message(const Customized_Message&)'
  <source>:8:5: note: declared here
      8 |     Customized_Message(const Customized_Message&) = delete;
        |     ^~~~~~~~~~~~~~~~~~
  

  错误消息过于繁琐，不够简洁直观。请问有没有更优的实现方式？

可以利用GCC/Clang等编译器支持的__attribute__((error("自定义消息")))扩展属性，结合=delete关键字，实现真正禁止拷贝并输出简洁的自定义错误消息：

struct A {
    A() = default;

    // 禁止拷贝构造，触发错误时显示自定义提示
    A(const A&) __attribute__((error("类A不可拷贝，请使用移动操作或引用"))) = delete;
    // 禁止赋值操作
    A& operator=(const A&) __attribute__((error("类A不可赋值，请使用移动操作或引用"))) = delete;
};

当用户尝试拷贝A的对象时，编译器会直接输出清晰的错误：

<source>:10:11: error: use of deleted function 'A::A(const A&)'
   10 |     A b = a;
      |           ^
<source>:5:5: note: declared here
    5 |     A(const A&) __attribute__((error("类A不可拷贝，请使用移动操作或引用"))) = delete;
      |     ^
<source>:5:5: error: 'A::A(const A&)' is deleted because it is declared with attribute 'error'

方案优势 #

1. 真正禁止拷贝：触发编译错误而非警告，从语法层面阻止拷贝操作
2. 错误消息清晰：直接展示自定义提示，用户能快速理解问题原因
3. 代码简洁直观：语义明确，无需额外基类或复杂结构

如果需要跨编译器兼容，可以添加条件编译，在不支持该扩展的编译器下直接删除拷贝操作：

struct A {
    A() = default;

#ifdef __GNUC__
    A(const A&) __attribute__((error("类A不可拷贝"))) = delete;
    A& operator=(const A&) __attribute__((error("类A不可赋值"))) = delete;
#else
    // 其他编译器下保留基础禁止拷贝语义
    A(const A&) = delete;
    A& operator=(const A&) = delete;
#endif
};

内容的提问来源于stack exchange，提问作者Home of the Brave