在類體外定義的成員函數上的sfinae

Question

這是我上一個問題的延續。 我得到的是一堆函數，形成像這樣的sfinae依賴鏈（讓“A - > B”符號表示A的存在取決於B的存在）：

S::f_base -> S::f -> ns::f_ -> f -> T::f

其中T是模板參數。 它實現像這樣 ：

#include <utility>

struct S;

template <typename T>
auto f(S& s, T const& t) -> decltype(t.f(s), void())
{
    t.f(s);
}

namespace ns
{
    template <typename T>
    auto f_(S& s, T const& t) -> decltype(f(s, t), void())
    {
        f(s, t);
    }
} 

struct S
{
    template <typename T>
    auto f(T const& t) -> decltype(ns::f_(std::declval<S&>(), t), void())
    {
        ns::f_(*this, t);
    }

    template <typename T>
    auto f_base(T const* t_ptr) -> decltype(f(*t_ptr), void())
    {
        f(*t_ptr);
    }
};

struct pass
{
   void f(S&) const
   {
   }
};

struct fail
{

};

int main()
{
    S s;
    s.f(pass()); // compiles
    //s.f(fail()); // doesn't compile
    return 0;
}

並按預期工作。 當我試圖移動的定義問題出現S::f和S::f_base類主體以外，像這樣 ：

#include <utility>

struct S;

template <typename T>
auto f(S& s, T const& t) -> decltype(t.f(s), void())
{
    t.f(s);
}

namespace ns
{
    template <typename T>
    auto f_(S& s, T const& t) -> decltype(f(s, t), void())
    {
        f(s, t);
    }
} 

struct S
{
    template <typename T>
    auto f(T const& t) -> decltype(ns::f_(std::declval<S&>(), t), void());

    template <typename T>
    auto f_base(T const* t_ptr) -> decltype(f(*t_ptr), void());
};

template <typename T>
auto S::f(T const& t) -> decltype(ns::f_(std::declval<S&>(), t), void())
{
    ns::f_(*this, t);
}

template <typename T>
auto S::f_base(T const* t_ptr) -> decltype(f(*t_ptr), void()) // <---- HERE ---
{
    f(*t_ptr);
}

int main()
{

    return 0;
}

在箭頭標記為GCC 4.7.1表示不滿：

錯誤：'decltype的原型（（（（S *）0） - > S :: f（（* t_ptr）），void（）））S :: f_base（const T *）'與類中的任何一個都不匹配' S”
錯誤：候選者是：模板decltype（（（（（S *）this） - > S :: f（（* t_ptr）），void（）））S :: f_base（const T *）

我嘗試通過在std::declval<S&>().添加它（在聲明和定義中）來明確指定我在f_base使用的f std::declval<S&>(). ，但錯誤仍然存​​在。

我知道我可以像這樣修改依賴圖：

S::f_base ->
          -> ns::f_ -> f -> T::f
S::f      ->

使S::f_base依賴於ns::f_以及S::f ，但有沒有辦法用第一個依賴圖做到這一點？

Answer 1

GCC 4.X不是元編程的最佳選擇

我已經設法在4.7.3（ 實時 ）中編譯：

#include <utility>

struct S;

template <typename T>
auto f(S& s, T const& t) -> decltype(t.f(s), void())
{
    t.f(s);
}

namespace ns
{
    template <typename T>
    auto f_(S& s, T const& t) -> decltype(f(s, t), void())
    {
        f(s, t);
    }
} 

// some std::void_t like but GCC4.x compatible
template<class T>
struct void_t
{
   using type = typename std::enable_if<std::is_same<T,T>::value >::type;
};

struct S
{
    template <typename T>
    auto f(T const& t) -> decltype(ns::f_(std::declval<S&>(), t), void());

    template <typename T>
    auto f_base(T const* t_ptr) ->  typename void_t< decltype (::f(*std::declval<T const*>()))>::type ;
};


template <typename T>
auto S::f(T const& t) -> decltype(ns::f_(std::declval<S&>(), t), void())
{
    ns::f_(*this, t);
}

// ::f is needed, fail if just 'f'
template <typename T>
auto S::f_base(T const* t_ptr) ->  typename void_t< decltype (::f(*std::declval<T const*>()))>::type
{
    f(*t_ptr);
}
int main()
{

    return 0;
}

注意：

在GCC4.XI中看到過一些奇怪的東西，比如：

template<class T>
struct void_t
{
   using type = void;
};

其中GCC將void_t<decltype(expr)>::type替換為void即使expr無效。 這就是為什么我使用void_t這個實現。