SFINAEが別のネームスペースから自由な関数をテストする

Question

std::isnanがプリプロセッサの特別なケーシングコンパイラなしで定義されているかどうかをテストするためのハックを思いついていて、うまくいくと期待していました。

#include <cmath> 
#include <type_traits> 

namespace detail { 
    using namespace std; 

    struct dummy {}; 
    void isnan(dummy); 

    //bool isnan(float); // Just adding this declaration makes it work! 

    template <typename T> 
    struct is_isnan_available { 
     template <typename T1> 
     static decltype(isnan(T1())) test(int); 
     template <typename> 
     static void test(...); 

     enum { value = !std::is_void<decltype(test<T>(0))>::value }; 
    }; 
} 

int main() { 
    return detail::is_isnan_available<float>::value; 
} 

it doesn't detect itとなります。私は手動でそれをテストしたので、特定のstd::isnanがideoneで定義されていることを知っています。

そして、私がuncomment the marked line aboveになったときに動作します。

私はここで何が欠けていますか？この現象について説明するのは何ですか？

Answer 1

これは、usingディレクティブが現在の名前空間にメンバーを追加しないため、std::メンバがこの名前空間の宣言によって隠されている可能性があります。

using std::isnanは、インポートされた名前空間のメンバがuse -locationとインポートされた名前空間の両方を囲む名前空間に追加されたかのように動作します。 using宣言は名前空間の通常の宣言なので、続く宣言でオーバーロード解決に参加できます。

ただし、コメントに指摘されているように、関数が存在しない場合はエラーが発生します。この問題を回避するには、put it out of your detail:: namespace thenが必要です。インポートされた定義は、dummyと同じレベルになるため、うまくいくはずです。オーバーロードをグローバル名前空間に渡すことも、補助名前空間（グローバル名前空間で）とimport bothを作成することもできます。

Answer 2

この問題は、スレッドセーフでない標準関数よりも優れたPOSIXスレッドセーフなAPIのセットで解決されました。C++11 alternative to localtime_rです。このコードは、APIがグローバル名前空間に定義されているかどうかを検出し、存在しない場合はカスタム回避策を選択します。