- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
最近我一直在尝试学习右值和完美转发。在玩弄一些结构时,我在切换编译器和优化级别时遇到了一些特殊的行为。
在没有打开优化的情况下在 GCC 上编译相同的代码会产生预期的结果,但是打开任何优化级别都会导致我的所有代码都被删除。
在没有优化的情况下在 clang 上编译相同的代码也会产生预期的结果。然后在 clang 上打开优化仍然会产生预期的结果。
我知道这会引起未定义的行为,但我只是无法弄清楚到底出了什么问题以及是什么导致了两个编译器之间的差异。
gcc -O0 -std=c++17 -Wall -Wextra
https://godbolt.org/z/5xY1Gz
gcc -O3 -std=c++17 -Wall -Wextra
https://godbolt.org/z/fE3TE5
clang -O0 -std=c++17 -Wall -Wextra
https://godbolt.org/z/W98fh8
clang -O3 -std=c++17 -Wall -Wextra
https://godbolt.org/z/6sEo8j
#include <utility>
// lambda_t is the type of thing we want to call.
// capture_t is the type of a helper object that
// contains all all parameters meant to be passed to the callable
template< class lambda_t, class capture_t >
struct CallObject {
lambda_t m_lambda;
capture_t m_args;
typedef decltype( m_args(m_lambda) ) return_t;
//Construct the CallObject by perfect forwarding which is
//neccessary as they may these are lambda which will have
//captured objects and we dont want uneccessary copies
//while passing these around
CallObject( lambda_t&& p_lambda, capture_t&& p_args ) :
m_lambda{ std::forward<lambda_t>(p_lambda) },
m_args { std::forward<capture_t>(p_args) }
{
}
//Applies the arguments captured in m_args to the thing
//we actually want to call
return_t invoke() {
return m_args(m_lambda);
}
//Deleting special members for testing purposes
CallObject() = delete;
CallObject( const CallObject& ) = delete;
CallObject( CallObject&& ) = delete;
CallObject& operator=( const CallObject& ) = delete;
CallObject& operator=( CallObject&& ) = delete;
};
//Factory helper function that is needed to create a helper
//object that contains all the paremeters required for the
//callable. Aswell as for helping to properly templatize
//the CallObject
template< class lambda_t, class ... Tn >
auto Factory( lambda_t&& p_lambda, Tn&& ... p_argn ){
//Using a lambda as helper object to contain all the required paramters for the callable
//This conviently allows for storing value, references and so on
auto x = [&p_argn...]( lambda_t& pp_lambda ) mutable -> decltype(auto) {
return pp_lambda( std::forward<decltype(p_argn)>(p_argn) ... );
};
typedef decltype(x) xt;
//explicit templetization is not needed in this case but
//for the sake of readability it needed here since we then
//need to forward the lambda that captures the arguments
return CallObject< lambda_t, xt >( std::forward<lambda_t>(p_lambda), std::forward<xt>(x) );
}
int main(){
auto xx = Factory( []( int a, int b ){
return a+b;
}, 10, 3 );
int q = xx.invoke();
return q;
}
最佳答案
如果发生这样的事情,通常是因为您在程序的某个地方有未定义的行为。编译器确实检测到了这一点,并且在积极优化时会因此丢弃整个程序。
在您的具体示例中,您已经以编译器警告的形式得到了一些不太正确的提示:
<source>: In function 'int main()':
<source>:45:18: warning: '<anonymous>' is used uninitialized [-Wuninitialized]
45 | return a+b;
| ^
这怎么可能发生?什么可能导致
b
此时未初始化?
b
此时是函数参数,问题必须出在该 lambda 的调用者身上。检查调用站点,我们注意到一些可疑的地方:
auto x = [&p_argn...]( lambda_t& pp_lambda ) mutable -> decltype(auto) {
return pp_lambda( std::forward<decltype(p_argn)>(p_argn) ... );
};
绑定(bind)到
b
的参数作为参数包传递
p_argn
.但请注意该参数包的生命周期:它是通过引用捕获的!所以这里没有完美的转发,尽管你写了
std::forward
在 lambda 主体中,因为您在 lambda 中通过引用捕获,并且 lambda 不会“看到”在其主体之外在周围函数中发生的情况。
a
会遇到同样的生命周期问题这里也是,但出于某种原因,编译器选择不提示那个。这对您来说是未定义的行为,无法保证您会收到警告。解决此问题的最快方法是仅按值捕获参数。您可以使用命名捕获保留完美的转发属性,语法有些特殊:
auto x = [...p_argn = std::forward<decltype(p_argn)>(p_argn)]( lambda_t& pp_lambda ) mutable -> decltype(auto) {
return pp_lambda(std::move(p_argn)... );
};
确保您了解在这种情况下实际存储的内容,甚至可以绘制图片。在编写这样的代码时,能够准确地知道各个对象所在的位置至关重要,否则很容易编写这样的终身错误。
关于c++ - 为什么 GCC 会删除我在 O3 上的代码,而不是在 O0 上?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/63351841/
我正在尝试在 Conda 环境中编译一些代码,在那里我 之前安装的编译包gcc_linux-64 . 然而,即使在停用和重新激活环境之后,gcc还在/usr/bin/gcc . 我该怎么做才能让 Co
关闭。这个问题是opinion-based .它目前不接受答案。 想要改进这个问题? 更新问题,以便 editing this post 可以用事实和引用来回答它. 关闭 7 年前。 Improve
这其实是两个问题: 1 - 在我的 debian amd64 系统上,我似乎无法构建与 gmp/mpfr/mpc 动态链接的交叉 GCC。即使我删除 --disable-shared,它也总是静态链接
研究ELF格式的结果,可以看到目标文件中有一个符号对应每个函数,对应的符号表项的值为st_size,表示大小的功能。 问题是,即使我更改了目标文件中特定函数的 st_size 并链接了它,但可执行文件
海湾合作委员会的 documentation for #line directives说他们是这样的: #line "myfile.cpp" 123 但是当我用 g++ 5.1 检查输出时,它们实际上
我正在使用 as 和 gcc 来汇编和创建 ARM 汇编程序的可执行文件,正如 this 所推荐的那样教程,如下: 给定一个汇编源文件,program.s,我运行: as -o program.o p
long long x; double n; x=long long(n); 这不起作用。什么是正确的方法? 最佳答案 显而易见的: x = (long long) n; 关于gcc - 转换为长长
我想知道用于 gcc 的原子内置函数的头文件是什么? 我想使用这 2 个函数为我当前创建的线程库实现互斥锁。 bool __sync_bool_compare_and_swap (type *ptr,
它出现在 another question :gcc调用的程序和部件是什么? (特别是在编译 C 或 C++ 时)以便有人可以设计一些拦截和更改流程的方案以用于各种自定义编码目的? 最佳答案 编译器二
可能吗?我想使用 gcc喜欢 assembler并在将其编译为 ubuntu 上的可执行文件后。 我尝试过这个: gcc a.asm -o out.o 来自 out.o文件编译成.out可执行文件。
我写了一个简单的 C 程序 test.c : #include #include int add(int a, int b); int main() { int i=5,j=10;
即。所以如果你使用任何八进制文字,它会给你一个警告。 微软编译器的同样问题。 如果没有,是否有任何其他工具可以检测八进制文字。 (vim 似乎有一个很酷的技巧,它突出了第一个领先的将不同的颜色归零,但
我在旧线程中搜索。但没有找到任何线程回答我的问题。 gcc 是否像 vc++ 一样支持函数级链接? 如果是,我应该提供什么选项来链接目标文件和库? 最佳答案 看起来 gcc 不直接支持函数级链接。您可
也许标题并没有把问题说得那么准确:我知道当我运行 gcc foo.c 时,GCC 会调用其他为它完成所有工作的子程序,从而生成主 gcc 程序只是一个界面。但这究竟是如何完成的呢? 它是否使用syst
我听说最近版本的 gcc 非常擅长将通过函数指针的调用转换为直接调用。但是,我在网上或快速浏览 gcc 的源代码上找不到任何关于它的信息。有谁知道这是否真的是真的,如果是这样,它使用什么算法来做到这一
gcc/g++ 链接器选项“-Map”生成的“.map”文件用于什么? 以及如何阅读它们? 最佳答案 我建议为您投入生产的任何软件生成一个映射文件并保留一份副本。 它可用于破译崩溃报告。根据系统的不同
gcc信息文件在有关x86-64特定标志的部分中说 其他事情: There is no `-march=generic' option because `-march' ind
我想知道 gcc 链接器选项(例如:-Wl,options)是否可以更改编译后的可执行文件中的汇编指令,因为如果您使用某些 gcc 优化选项会发生这种情况? 当您比较编译后的二进制文件(例如比较签名)
是否有GCC编译指示会停止,暂停或中止编译过程? 我正在使用gcc 4.1,但也希望在gcc 3.x版本上也可以使用该编译指示。 最佳答案 您可能需要#error: edd@ron:/tmp$ g++
当我使用gcc编译C程序时我通常使用 -g 将一些调试信息放入 elf 文件中这样 gdb 就可以在需要时帮助我。 但是,我注意到有些程序使用 -ggdb,因为它应该使调试信息对 gdb 更加友好。
我是一名优秀的程序员,十分优秀!