标签：c undefined-behavior pass-by-reference

这是我在生产中运行的代码的缩小版本.我发现,我的真实代码在gcc和英特尔编译器下表现不同,我最好的猜测是未定义的行为.请考虑以下示例代码：

#include <iostream>

struct baseFunctor{
    virtual double operator()(double x) const = 0;
};

class mathObj{
    const baseFunctor *tmp1, *tmp2;
public:
    void set(const baseFunctor& b1, const baseFunctor& b2){
        tmp1 = &b1;
        tmp2 = &b2;
    }
    double getValue(double x){
        return (tmp1->operator()(x) + tmp2->operator()(x));
    }
};

int main () {
    mathObj obj;

    struct squareFunctor: public baseFunctor {
        double operator()(double x) const { return x*x; }
    };
    struct cubeFunctor: public baseFunctor {
        double operator()(double x) const { return x*x*x; }
    };

    obj.set(squareFunctor(), cubeFunctor());
    std::cout << obj.getValue(10) << std::endl; 
    return 0;
}

可以obj.set(squareFunctor(),cubeFunctor());调用未定义的行为？

解决方法:

是的,它绝对是,因为您存储指向在语句末尾销毁的临时值的指针,然后使用它们.使用被破坏的对象是未定义的行为.

您需要单独创建值,然后使用它们调用set：

cubeFunctor cf;
squareFunctor sf;

obj.set(sf, cf);

请注意,您无法通过按值存储仿函数来解决此问题(除非您使用模板),因为这会导致切片.

另外作为旁注,您可以更改getValue

return (*tmp1)(x) + (*tmp2)(x);

让它看起来更漂亮(你仍然可以获得动态调度).

标签：c,undefined-behavior,pass-by-reference
来源： https://codeday.me/bug/20190901/1785506.html

本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享；
2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关；
3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关；
4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除；
5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。