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입니다.

멋진 부동 소수점 수학 세계에 오신 것을 환영합니다.

정확한 고정밀 수학이 필요한 경우이를 구현하는 특수 라이브러리가 있습니다.