C++“返回”表达式的结果

Question

根据额外的括号，下面两个 return 语句之间的表达式计算有什么区别吗？

    return a++ *(-b+123.456)/999.12344;

对比

    return (a++ *(-b+123.456)/999.12344);

编程语言 C++ 标准 CPP 98'ish（C++11 之前）

希望问题很清楚。期望是完整地评估表达式。

Answer 1

口齿不清x 与(x) 相同（请参阅this answer 以获取“严格的口语”答案；）。在完整表达式周围添加括号不会改变 operator precedence 的任何内容。

PS：它对返回值优化的影响不大（详见this answer）。不过，它肯定对返回的值没有影响。

Answer 2

存在差异。使用括号将避免返回值优化。

例如，如果a 和/或b 是所有合适的运算符都重载的对象，那么使用括号可能会给您带来对象值副本的开销。

对于普通的旧数据没有区别，受 C++11 的厌恶

decltype(auto) ub_server() { int a; return (a);}

这实际上给了你一个悬空参考。

总结：除非您想要上述某些行为，否则不要使用括号，并且可能只有在使用支持评论时。

Answer 3

根据额外的括号，下面两个 return 语句之间的表达式计算有什么区别吗？

没有；括号是完全多余的在这种情况下。

---

表达式expr 实际上与表达式(expr) 不同，您可以使用return 观察这一点，因为在后一种情况下禁止复制/移动省略：

#include <iostream>

struct T
{
    T() { std::cout << "T()\n"; }
    T(const T&) { std::cout << "T(const T&)\n"; }
    T(T&&) { std::cout << "T(T&&)\n"; }
    ~T() { std::cout << "~T()\n"; }
};

T foo()
{
    T t;
    return t;
}

T bar()
{
    T t;
    return (t);
}

int main()
{
    std::cout << "Test 1\n------\n";
    foo();
    std::cout << '\n';
    std::cout << "Test 2\n------\n";
    bar();
}

输出：

Test 1
------
T()
~T()

Test 2
------
T()
T(T&&)
~T()
~T()

(live demo)

在 C++17 之前，您可能会观察到相同的结果，因为编译器一直在尝试优化返回值。即使在您的标准 C++98 中，您也可能观察到在第一种情况下没有调用复制构造函数。

但是，嘿，这些都与简单的算术表达式无关。