提示编译器帮助其完成优化任务

Question

“生存发行版”文章中的const和volatile一章使我想到了编译器可以使用const关键字作为其优化工作的提示。

您是否了解编译器的其他优化提示或函数的设计原理，以便编译器可以内联？

顺便说一句，您是否将原始类型的函数参数声明为const或const引用（例如void foo(const int i)或void foo(const int& i) ）？

谢谢！

Answer 1

const限定很少可以帮助编译器优化代码。 您可以在Herb Sutter的“常量优化”中详细了解为什么会出现这种情况。

关于最后一个问题：通常，您应该更喜欢按值传递便宜复制的东西（例如基本类型对象（ int和float等等）以及小类类型对象），并通过const引用传递其他类型。 这是一个非常普遍的规则，有很多警告和例外。

Answer 2

我认为编译器不能使用const关键字进行优化，因为在任何时候都可以丢弃constness。

它比正确性更重要的是正确性。

Answer 3

启用某些优化后，编译器会注意到参数i从未修改，因此对于生成的代码而言，将其声明为int还是const int都无关紧要。

通过const &传递参数的目的是避免不必要的复制。 如果参数较小（一个或更少的机器字），则无法获得更好的性能，因此您不应该这样做。 foo(int)比foo(const int&)更有效。

Answer 4

两种形式都没有实际的好处。 如果类型小于单个机器字，请按值输入。 另一件事是，现代编译器的语义分析远远超出了const可以做和不能做的事情，您只能在预编译或代码非常复杂的情况下应用优化。 您链接的文章已有好几年历史了，此后，编译器除了进行了大量改进外，什么也没做。

Answer 5

一些“通用编译器”的事情浮现在脑海。

• const暗示变量永远不会改变
• 易失性，暗示变量可以随时更改
• 限制关键字
• 内存障碍（以向编译器提示特定的顺序）-可能不是您在意“优化”。
• 内联关键字（使用时要非常小心）

但是，所有这些都仅应来自广泛的性能分析例程，因此您知道实际需要优化的内容。 总体而言，编译器非常擅长优化，而没有太多来自程序员的提示。

Answer 6

如果查看Linux内核或某些类似项目的资源，您会找到传递给gcc（或使用任何编译器）的所有优化线索。 Linux内核使用gcc提供的所有功能，即使它不在标准中。

该页面总结了gcc对C语言的扩展。 我之所以在这里提到C是因为const和volatile在C中也使用了。 除了C或C ++，编译器优化在这里成为问题的焦点。

Answer 7

我认为const的真正目的与优化没有太大关系，尽管它有帮助。 编译时检查不是真正的价值，它可以防止您修改不应修改的内容（例如，防止错误）？

对于您不打算修改的小参数，请使用按值调用。

对于您不打算修改的大参数，请使用按引用调用或传递地址（基本上是同一件事）以及const 。

对于您要修改或大或小的争论，删除const 。

顺便说一句：如果是新闻，为了获得真正的性能，您需要了解如何通过概要分析找到实际存在的问题。 没有编译器可以为您做到这一点。