Question

我无法弄清楚推导依赖类型的静态成员函数的返回值的正确语法。我已经尝试了十几种组合，包括使用:: std :: result_of，但它们似乎都没有用。这是最有希望的变体（至少在非模板上下文中工作）：

struct
t_In
{
};

struct
t_Out
{
    static auto
    Method(t_In &) -> t_Out
    {
        return(t_Out());
    }
};

template<typename tp_Out, typename tp_In, typename tp_Enable = void> struct
t_Template;

template<typename tp_Out, typename tp_In> struct
t_Template
<
    tp_Out
,   tp_In
,   typename ::std::enable_if
    <
        ::std::is_same
        <
            decltype
            (
                ::std::remove_cv // adding typename here makes Method look like type
                <
                    typename ::std::remove_reference
                    <
                        tp_Out
                    >::type
                >::type::Method(::std::declval<tp_In>()) // Err: does not evaluate to function ...
            )
        ,   tp_Out
        >::value
    >::type
>
{
};

编辑：编译器VS2013，请注意我甚至没有实例化任何内容，仅从此模板中弹出错误

Answer 1

你的一个问题是std::declval返回一个右值引用，它不能绑定到像t_In&这样的非const左值引用。

一个相当干净的解决方案是使用void_t和std::declval<tp_In&>：

//standard void_t implementation
template <typename...> struct voider { using type = void; };
template <typename...Ts> using void_t = typename voider<Ts...>::type;

//primary template
template<typename tp_Out, typename tp_In, typename tp_Enable = void>
struct t_Template;

//for when tp_Out has a static member function called Method 
//taking an lvalue reference to tp_In
template<typename tp_Out, typename tp_In>
struct t_Template
<tp_Out, tp_In, void_t<decltype(tp_Out::Method(std::declval<tp_In&>()))>>
{
};

Answer 2

TL;博士;当在模板参数中使用时，VS2013中的type :: StaticMemberFunctionName语法被破坏，像decltype（decltype（*＆amp; tp_Out :: Method）（:: std :: declval（））这样的花哨表达式甚至导致内部编译器错误。但是，当在其他地方使用时，此语法仍然有效，因此我设法找到了一种解决方法：

template<typename tp_Out, typename tp_In> struct
t_MethodReturnValueDeducer
{
    typedef decltype
    (
        ::std::remove_cv
        <
            typename ::std::remove_reference
            <
                tp_Out
            >::type
        >::type::Method(::std::declval<tp_In &>())
    ) t_Deduced; 
};

template<typename tp_Out, typename tp_In, typename tp_Enable = void> struct
t_Template;

template<typename tp_Out, typename tp_In> struct
t_Template
<
    tp_Out
,   tp_In
,   typename ::std::enable_if
    <
        ::std::is_same
        <
            typename t_MethodReturnValueDeducer<tp_Out, tp_In>::t_Deduced
        ,   tp_Out
        >::value
    >::type
>
{

};

我希望这对那些仍然在与VS2013挣扎的人有所帮助......

用于推导依赖类型的静态成员函数的返回值的正确语法

2 个答案: