C++のテンプレート演算子が、ベクトルからスカラーを減算するときに間違った結果を返す

Question

ベクトルからスカラーを減算し、その結果をベクトルで返すテンプレート演算子関数を作成しようとしています。以下の機能は、私が思い付くことができたものです：ベクトルからスカラー（フロート）を引くしようとすると

// vector - scalar 
template<typename T1, typename T2> 
auto operator - (const Vector<T1> & lhs, const T2 & scalar)-> Vector<std::common_type_t<T1,T2>> 
{ 
    using T3 = std::common_type_t<T1, T2>; 
    Vector<T3> result; 
    result.base.reserve(lhs.base.size()); 
    std::transform(lhs.base.begin(), lhs.base.end(), std::back_inserter(result.base), 
      [&scalar](const T3 & element) { return element - scalar; }); 
    return result; 
} 

しかし、結果が正しくない（INT）。オペランドが通常の算術変換（積分プロモーションを含む）を受けているため、この問題は疑わしいです。

DEMO

Answer 1

これはなく、浮動小数点数は正確ではないという事実と、テンプレートとは何の関係もありません。自分でこれをコンパイルし、結果が何であるかを見るために

float subtract(float a, float b) 
{ 
    return a-b; 
} 

int main() 
{ 
    std::cout << subtract(2, 2.1) << std::endl; 

    return 0; 
} 

試してみてください。

これは、同じ「間違った結果」あなたが具体的なコメントで引用を生成します。

また、-0.0999999です。

浮動小数点演算の素晴らしい世界へようこそ。

正確な固定精度の計算が必要な場合は、それを実装する特殊ライブラリがあります。