doubleのビットパターンをチェックする方法はC++ 11のconstexprでは0x0ですか？

Question

与えられたdouble/float変数が実際のビットパターン0x0を持っていることを確認したいと思います。理由を聞かないでください.Qt（qIsNull()）の関数で、constexprになりたいと考えています。

元のコードは、労働組合を使用：

union { double d; int64_t i; } u; 
u.d = d; 
return u.i == 0; 

これは当然のconstexprとして動作しません。

次のtryはreinterpret_castしていました：

return *reinterpret_cast<int64_t*>(&d) == 0; 

しかし、それはGCC 4.7でconstexprとして働いている間、それは（、当然Bポインタ操作のC /）失敗したクラン3.1インチ

最終アイデアはAlexandrescuesqueを行って、これを行うことでした。

template <typename T1, typename T2> 
union Converter { 
    T1 t1; 
    T2 t2; 
    explicit constexpr Converter(T1 t1) : t1(t1) {} 
    constexpr operator T2() const { return t2; } 
}; 

// in qIsNull(): 
return Converter<double,int64_t>(d); 

をしかし、それはどちらか、クランのための十分な賢いではありません。

note: read of member 't2' of union with active member 't1' is not allowed in a constant expression 
constexpr operator T2() const { return t2; } 
            ^

誰が良いアイデアを持っていますか？

Answer 1

私は指定されたdouble/float型の変数は、実際のビットパターンは0x0

を持っていることを確認したい。しかし、それはだ場合constexprそれはどんな変数をチェックしていない、それはこのよう値をチェックしています変数は静的に保持されると決定されます。そういうわけで、あなたはポインターと組合のテクニックを引っ張ってはいけないのです。「公式には」指すメモリはありません。

あなたのような、あなたが何かを行うことができ、非トラッピングIEEEのゼロ除算を行うには、あなたの実装を説得することができた場合：

return (d == 0) && (1/d > 0) 

のみ+/-0が0 1/-0に等しいこと「にISNれ、-Infです0. 1/+0より大きいtは、+Infです。しかし、私はどのように非トラップ算術演算を起こさせるのか分かりません。

Answer 2

clang ++ 3.0とg ++ 4.7の両方（4.6ではなく）はstd::signbitをconstexprとして扱います。

return x == 0 && std::signbit(x) == 0; 

Answer 3

定数式の中からdoubleの根底にあるビットパターンを見てすることはできません。 void*を介してキャスティングすることによってそのような検査を可能にしたC++ 11標準には欠陥があったが、それはC++ core issue 1312によって対処された。

clangのconstexprの実装（完全であると見なされる）には、定数doubleの値の表現を抽出するメカニズムがありません（非標準のベクトル演算以外では、現在でも結果を検査する）。

IEEE-754浮動小数点を使用するプラットフォームをターゲットにしていることが分かっている場合は、0x0が値の正のゼロに対応しています。私が打ち鳴らすとG ++の両方に定数式内部で動作これを検出する唯一の方法は、__builtin_copysignを使用することであると信じて：

constexpr bool isPosZero(double d) { 
    return d == 0.0 && __builtin_copysign(1.0, d) == 1.0; 
}