爲什麼不能GCC解決這個using聲明爲正確的類型

Question

雖然在項目編碼圍繞我的工作，我發現了非常奇怪的事情：

namespace detail { 

    struct tuplelike_tag { }; 
    struct arraylike_tag { }; 

    template<typename> 
    struct call_with_traits; 

    template<typename... Ts> 
    struct call_with_traits<std::tuple<Ts...>> { 
     using tag = tuplelike_tag; 

     enum { size = sizeof...(Ts) }; 
    }; 

    template<typename T, std::size_t Sz> 
    struct call_with_traits<std::array<T, Sz>> { 
     using tag = arraylike_tag; 

     enum { size = Sz }; 
    }; 

    template<typename T, std::size_t Sz> 
    struct call_with_traits<T[Sz]> { 
     using tag = arraylike_tag; 

     enum { size = Sz }; 
    }; 

    template<typename F, typename T, int... Is> 
    auto call_with(F && f, T && tup, indices<Is...>, tuplelike_tag) -> ResultOf<Unqualified<F>> { 
     return (std::forward<F>(f))(std::get<Is>(std::forward<T>(tup))...); 
    } 

    template<typename F, typename A, int... Is> 
    auto call_with(F && f, A && arr, indices<Is...>, arraylike_tag) -> ResultOf<Unqualified<F>> { 
     return (std::forward<F>(f))(std::forward<A>(arr)[Is]...); 
    } 
} 

template<typename F, typename Cont> 
inline auto call_with(F && f, Cont && cont) -> ResultOf<Unqualified<F>> { 
    using unqualified = Unqualified<Cont>; 
    using traits = typename detail::call_with_traits<unqualified>; 
    using tag  = typename detail::call_with_traits<unqualified>::tag; 
    using no_tag = typename traits::tag; // this is what it's all about 
    return detail::call_with(std::forward<F>(f), std::forward<Cont>(cont), build_indices<traits::size>(), tag()); 
} 

這段代碼奇怪的是，標籤得到解決typename detail :: call_with_traits :: tag;，但no_tag錯誤了：

error: no type named ‘tag’ in ‘using traits = struct detail::call_with_traits<typename std::remove_cv<typename std::remove_reference<_To>::type>::type>’ 

即使它應該指的是同一using聲明在同一結構。 有什麼我錯過了，或者這是GCC中的一些錯誤？

A live example can be found here，包括來自GCC的相關錯誤消息。

Answer 1

這似乎是g ++ 4.7.2中的一個錯誤。下面是一個小例子：

template<typename> struct A { using tag = int; }; 

template<typename T> 
inline void f() { 
    using AT = A<T>; 
    typename A<T>::tag x; // no error 
    typename AT::tag y; // error 
} 

int main(int argc, char ** argv) { 
    f<int>(); 

    return 0; 
} 

有沒有錯誤，如果typedef被用來代替using聲明，或者如果您使用A<int>，而不是A<T>。