與模板

C++鏘優化的錯誤我有一段簡單的代碼如下：與模板

#include <map> 
#include <iostream> 

template <typename LocType, typename Base> 
class MapWrapper { 
public: 
    Base&& get_and_erase(LocType x) { 
    Base ret = std::move(_data[x]); 
    _data.erase(x); 
    // Uncomment the cout will give correct result 
    // std::cout << "retval = " << ret << std::endl; 
    return std::move(ret); 
    } 
    void increase(const LocType& x, const Base& w) { 
    if (w == 0.0) { 
     return; 
    } 
    _data[x] += w; 
    } 
private: 
    std::map<LocType, Base> _data; 
}; 

int main() { 
    MapWrapper<int, double> a; 
    a.increase(1, 1.0); 
    double w = a.get_and_erase(1); 
    std::cout << "w = " << w << std::endl; 
    return 0; 
}

我想輸出應爲1。它工作在G ++ 4.8.2很好，但是當我用我的MAC與

Apple LLVM version 7.0.2 (clang-700.1.81) 
Target: x86_64-apple-darwin14.5.0 
Thread model: posix

，並編譯：

g++ --std=c++11 -O2 debug.cpp -o debug

我得到的是：

w = 2.64619e-260

我可以正確的唯一方法是關閉-O2或通過在代碼中取消註釋std::cout來強制輸出。

任何想法？

來源

2016-01-18 user2478952

相關：http://stackoverflow.com/questions/1116641/is-returning-by-rvalue-reference-more-efficient – MikeMB

我相信有很少的情況下，其中一個r-valze返回類型不是一個錯誤更不用說必要/優化。 – MikeMB

您的代碼有未定義的行爲。 get_and_erase返回對局部變量的引用。啓用優化會暴露此錯誤。你明確的std::move愚弄了編譯器通常會發出的警告，以返回對局部變量的引用。

要解決此問題，請將返回類型更改爲Base，將return語句更改爲return ret;;此舉是不必要的，實際上是一種悲觀。

來源

2016-01-18 09:12:37

回答

相關問題