は、doubleがintに収まると主張します

Question

doubleが標準化された表現を持っているかどうかはわかりませんが、私が尋ねたかった理由はありませんか？assertを書く良い方法はありますか？ doubleはint64_tに収まるのに十分小さいですか？

より具体的には、int64_tとdoubleの間の比較は、よく定義され、正しいことが保証されている範囲外である可能性がありますか？このような

Answer 1

何かが働くだろう：

assert(std::numeric_limit<int64_t>::min() <= value 
     && value <= std::numeric_limits<int64_t>:::max() 

Answer 2

あなたはタイプの制限をチェックしてみてくださいすることができます。

#include <iostream> 
#include <climits> 
#include <cassert> 

using namespace std; 

int main() 
{ 
    double val = static_cast<double>(LONG_MAX); // or LONG_MIN 

    assert((static_cast<long int>(val) > LONG_MIN) && (static_cast<long int>(val) < LONG_MAX)); 
    cout << static_cast<long int>(val) << '\n'; 
}