c++ - 仅当模板参数具有成员函数时才启用成员函数

Question

我见过类似的问题，已经包含解决方案，例如这个: Is it possible to write a C++ template to check for a function's existence?

但是我想知道为什么我的解决方案适用于 VC2015 而不是适用于 GCC5.1。 GCC 给我以下错误:

error: ‘get_result’ is not a member of ‘std::remove_reference_t>> > {aka main()::}’ templatedecltype(&std::remove_reference_t::get_result)(TSink)>

我的代码:

template <typename TSink>
struct Consume{
    ...
    TSink& _sink;
    Consumer(TSink& sink) : _sink(sink){};
    ...
    template<typename = decltype(&std::remove_reference_t<TSink>::get_result)(TSink)>
    auto
    get_result()
    {
        return _sink.get_result();
    }
}

Answer 1

SFINAE 应该只在模板的直接上下文中处理模板参数。

您可以通过简单地添加另一个带有默认参数的模板参数，将 TSink 引入到这个直接上下文中:

template<typename Sink = TSink,
         typename = decltype(&std::remove_reference_t<Sink>::get_result)(Sink)>
auto
get_result()
{
    return _sink.get_result();
}