为什么不将 [[nodiscard]] 应用于每个构造函数？

Question

自 C++20 起，[[nodiscard]] 可应用于构造函数。 http://wg21.link/p1771有例子：

struct [[nodiscard]] my_scopeguard { /* ... */ };
struct my_unique {
  my_unique() = default;                                // does not acquire resource
  [[nodiscard]] my_unique(int fd) { /* ... */ }         // acquires resource
  ~my_unique() noexcept { /* ... */ }                   // releases resource, if any
  /* ... */
};
struct [[nodiscard]] error_info { /* ... */ };
error_info enable_missile_safety_mode();
void launch_missiles();
void test_missiles() {
  my_scopeguard();              // warning encouraged
  (void)my_scopeguard(),        // warning not encouraged, cast to void
    launch_missiles();          // comma operator, statement continues
  my_unique(42);                // warning encouraged
  my_unique();                  // warning not encouraged
  enable_missile_safety_mode(); // warning encouraged
  launch_missiles();
}
error_info &foo();
void f() { foo(); }             // warning not encouraged: not a nodiscard call, because neither
                                // the (reference) return type nor the function is declared nodiscard

通常构造函数没有副作用。所以丢弃结果是没有意义的。例如，如下丢弃 std::vector 是没有意义的：

std::vector{1,0,1,0,1,1,0,0};

如果 std::vector 构造函数是 [[nodiscard]]，那么上面的代码会产生警告。

具有副作用的著名构造函数是锁构造函数，例如 unique_lock 或 lock_guard。但是这些也是标记为 [[nodiscard]] 的好目标，以避免错过范围，如下所示：

std::lock_guard{Mutex};
InterThreadVariable = value; // ouch, not protected by mutex

如果 std::lock_guard 构造函数是 [[nodiscard]]，那么上面的代码会产生警告。

当然有 return std::lock_guard{Mutex}, InterThreadVariable; 这样的情况。但是能有[[nodiscard]]个守卫的已经够难得了，像return ((void)std::lock_guard{Mutex}, InterThreadVariable);

一样局部压制

那么，有没有构造函数应该不被丢弃的情况？

Answer 1

来自 pybind11 库的示例：要为 python 包装 C++-class，您可以：

PYBIND11_MODULE(example, m) {
    py::class_<MyClass>(m, "MyClass");  // <-- discarded.
}

为什么不将 [[nodiscard]] 应用于每个构造函数？

Why not apply [[nodiscard]] to every constructor?

c++

c++20

nodiscard