C++には移動と削除のセマンティクスがありますか？

Question

C++で使い捨て変数を作成することはできますか？ここで

は私が達成したいものの一例である：ここで

const float _phiTemp = atan2(tan(cluster.beta), tan(cluster.alpha)); 
const float phi  = HALF_PI - std::abs(HALF_PI - std::abs(_phiTemp)); 
// After running this code I want _phiTemp to be unaccessible, and the 
// compiler to send an error if I ever try 

は、私が何をしたいの長いと醜い実装です：

const float phi = 0; 
{ 
    const float _phiTemp = atan2(tan(cluster.beta), tan(cluster.alpha)); 
    float& phiRef = const_cast<float&> phi; 
    phiRef = HALF_PI - std::abs(HALF_PI - std::abs(std::move(_phiTemp))); 
} 
// _phiTemp is disposed and phi is a const, and safely used in the calculation 
// through std::move() 

私は何かが足りないのですか？ C++に「即時」の変数処分はありませんか？

Answer 1

長くて醜い実装も未定義の動作です。 phiRefへの書き込みはconstとして定義された変数への書き込みです。

あなたができる最善のは、phiを計算する関数を記述することです - あなたはこのインラインを行いたい場合は、ラムダを書くことができます：

const float phi = [&cluster]{ 
    const float phiTemp = atan2(tan(cluster.beta), tan(cluster.alpha)); 
    return HALF_PI - std::abs(HALF_PI - std::abs(phiTemp)); 
}(); 

...しかし、それはまだかなり醜いです。私はC++がこの機能を提供しているとは思わない。

Answer 2

Martin Bonnerは適切なトラックにあります：lambdaは "scope-with-return"としてうまく動作し、ここではヘルパー変数を好きなように宣言できます。以下は、私はさらに一歩それを取るために私の個人的なツールキットで作られたものです：

const float phi = glk_initBlock { 
    const float phiTemp = atan2(tan(cluster.beta), tan(cluster.alpha)); 
    return HALF_PI - std::abs(HALF_PI - std::abs(phiTemp)); 
}; 

Answer 3

私が何をしたいことは、一時的な変数であると思う：

namespace initBlock_detail { 
    struct tag { }; 

    template <class F> 
    decltype(auto) operator * (tag, F &&f) { 
     return std::forward<F>(f)(); 
    } 
} 

#define glk_initBlock \ 
    glk::initBlock_detail::tag{} * [&]() -> decltype(auto) 

呼び出し構文は次のようになります。中間値の名前を付けないでください。

const float phi = HALF_PI - std::abs(
    HALF_PI - std::abs(
     atan2(
      tan(cluster.beta) 
      , tan(cluster.alpha) 
     ) 
    ) 
);