[[nodiscard]] 属性指示函数的返回值不得忽略，否则将导致编译器警告或错误，以防止以下后果：未初始化异常、内存泄漏和错误的计算结果。

C++ 函数声明中的 [[nodiscard]]：揭开忽略返回值后果的神秘面纱

引言

在 C++ 编程中，[[nodiscard]] 属性标志表示函数的返回值不能被忽略。然而，无视此属性的后果却鲜为人知。本文将深入探究 [[nodiscard]] 的作用，并通过实战案例展示忽略返回值的潜在陷阱。

[[nodiscard]] 的作用

[[nodiscard]] 属性指示编译器，函数的返回值是一个重要的值，不应被丢弃。当一个具有 [[nodiscard]] 属性的函数的返回值没有被使用时，编译器将发出警告或错误。这有助于防止意外丢弃有价值的计算结果。

实战案例

考虑以下带有 [[nodiscard]] 属性的函数：

[[nodiscard]] int CalculateArea(int width, int height)
{
    return width * height;
}

如果我们调用 CalculateArea 函数并忽略其返回值，编译器会产生警告：

int main()
{
    CalculateArea(10, 5); // 编译器警告：丢弃了带有 [[nodiscard]] 函数的返回值
    return 0;
}

然而，如果我们使用返回值，则编译器不会发出警告：

int main()
{
    int area = CalculateArea(10, 5); // 正确：使用了 [[nodiscard]] 函数的返回值
    return 0;
}

后果

忽略带有 [[nodiscard]] 属性的函数的返回值可能导致以下后果：

未初始化异常： 如果函数返回一个值用于初始化一个变量，而变量未正确初始化，则可能发生未初始化异常。

内存泄漏： 如果函数返回一个应该被释放的指向内存的指针，则忽略返回值会导致内存泄漏。

错误的计算结果： 如果函数返回一个用于后续计算的值，则忽略返回值会导致错误的计算结果。

[[nodiscard]] 属性对于确保代码健壮性至关重要。通过使用 [[nodiscard]]，程序员可以防止忽略具有 [[nodiscard]] 属性的函数的返回值所带来的潜在陷阱。