このコードはなぜコンパイルに失敗しますか？

Question

私はそれがかなり一般的なタイトルだと知っていますが、私はいくつかのコードを持っていて、それは私がコンパイルできない奇妙なものです。

Hereは、この問題のデモです。 scalar_tをdoubleからfloatに変更するとコードが正常にコンパイルされます。なぜここで倍増することができないのですか？実際に、定数をdouble（1.0）またはint（1）に変更すると、それらも昇格できません。これはちょうどうまくいくべきものなのでしょうか？

完全なコードサンプル：

#include <valarray> 
#include <numeric> 
#include <iterator> 
#include <iostream> 

template<typename T> 
T sigmoid(const T &in) 
{ 
    return 1.f/(1.f + std::exp(-in)); 
} 

template<typename T> 
T logit(const T &in) 
{ 
    return std::log(in/(1.f - in)); 
} 

using scalar_t = double; 

int main(int argc, char **argv) 
{ 
    std::valarray<scalar_t> f = { 0.1f, 0.3f, 0.5f, 0.9f }; 

    scalar_t alpha = 0.5f; 
    scalar_t beta = -1.f; 

    auto lC = logit(f);  
    std::valarray<scalar_t> skC = alpha * lC + beta; 
    auto sC = sigmoid(skC); 

    std::copy(std::begin(sC), std::end(sC), std::ostream_iterator<scalar_t>(std::cout, " ")); 
    std::cout << std::endl; 

    scalar_t num = 0.7f; 
    auto lS = logit(num); 
    auto sS = sigmoid(alpha * lS + beta); 

    std::cout << sS << std::endl; 

    return 0; 
} 

Answer 1

operator -これは、それがvalはvalarray内の要素と同じタイプであることを期待しているMEAS

template <class T> std::valarray<T> operator- (const T& val, const std::valarray<T>& rhs); 

としてあなたが定義されて使用されています。テンプレート引数の差し引きが発生したときに floatを使用しているので、 valは floatですが、 rhsの要素タイプは doubleです。これらの型は一致しないため、控除に失敗し、コンパイラエラーが発生します。テンプレート引数の控除中に変換が行われないことを忘れないでください。

Answer 2

これは、これらのタイプに依存しないテンプレートで定数を使用する方法について非常に興味深い議論を生み出しました。意外にも答えがあるようです。 sigmoid関数を調べると、floatの定数をvalarray<double>と使用していることがわかりますが、コンパイラエラーは発生しません。これは、std::exp(-in)行がvalarray<double>を標準ライブラリで使用されている式テンプレートに変換して計算を最適化し、何らかの理由でfloatまたはdoubleを気にしない（たとえば、オーバーロードを提供する）ためです。だから、私が思いついた解決策は、定数で動作する式テンプレートにvalarray<double>を変換する以外は絶対に何もしないで、logit関数に単項演算子+演算子を追加することでした。単項+演算子(+in)

がまた尋ねたとしてNathanOliverの受け入れソリューションは、質問に答えることに注意してください

Hereは、更新コードサンプル

で、新しいlogit機能は、この

template<typename T> 
T logit(const T &in) 
{ 
    return std::log(in/(1.f - (+in))); 
} 

ノートのように見えます