なぜstd :: <T>は `variant`にグローバル関数を与えますか？

Question

C++のstd::get<T>がグローバル関数で、variant<...>のメンバー関数ではない理由を教えてもらえますか？

Answer 1

get<T>()がメンバー関数テンプレートの場合は、従属コンテキストで呼び出されるときにtemplateキーワードが必要になります。たとえば：でもusing宣言またはディレクティブget()なし

template <typename Variant> 
void f(Variant const& v) { 
    auto x0 = v.template get<T>(); // if it were a member 
    auto x1 = get<T>(v);   // using a non-member function 
} 

std::variant<...>とget()両方として見つかった場合は、名前空間stdで宣言されています。したがって、グローバル関数が使い易いため、メンバ関数とする正当な理由はないようです。