Question

我有以下问题，我只是没有看到一个正确的解决方案（也许没有）：我有一个模板化的方法，其中返回类型取决于输入类型，并感谢C + +11 decltype返回类型可以轻松派生，但是我还想让用户在需要时明确定义返回类型。

更正式地说，我有一个模板化函数f，我希望它可以被调用为f(x)，既没有显式定义输入也没有返回类型。我还希望能够将f<ret_t>x()称为显式定义的返回类型，但输入类型仍然是自动派生的。

现在，用C ++ 11满足第一个约束很容易（让我们假设还有另一个模板化的方法：

template<typename InT>
auto f(const InT& in) -> decltype(/* code deriving the return type using in */);

但是这不会允许覆盖返回类型，因为我必须将其添加为第二个模板参数并将decltype派生移动到模板定义中，并且可能需要使用std::declval<InT>或std::result_of：

template<
    typename InT,
    typename RetT = /* code deriving return type using InT and declval/result_of */>
RetT f(const InT& in);

但是，这种方式我总是需要在调用InT时明确定义f。因此，f声明为了能够InT开放但指定RetT应该是：

template<
    typename RetT = /* code deriving return type using InT and declval/result_of */,
    typename InT>
RetT f(const InT& in);

但是，由于我需要为RetT指定默认值，InT尚未提供，因此无法使用。

到目前为止我能提出的最好的解决方法，由于RetT的演绎失败（显然是因为你无法推断出这些类型），所以这并不是很令人满意并且似乎无论如何都无法工作来自默认参数），是：

template<typename RetT, typename InT>
RetT f(
    const InT& in,
    const RetT& = std::declval</* code deriving return type using InT or in and declval/result_of */>());

是否有更好的方法可以使RetT的默认值依赖于InT，同时仍然可以根据需要明确指定RetT？重要的是要注意返回类型需要在函数实现中可用，以便RetT的对象直接分配，并且只在方法体内分配一次。

Answer 1

您可以使用std::conditional和dummy类型来检查该功能是否具有自动推断类型或用户选择类型。

如果用户明确选择了返回类型，则返回类型将与dummy类型不同，这将是函数的返回类型。否则，只需像以前一样使用推断类型。

以下一个使用示例：

#include <typeindex>
#include <type_traits>
#include <iostream>

struct dummy
{
};

template<typename RetType = dummy, typename T>
auto f(const T& in)
-> typename std::conditional<std::is_same<RetType, dummy>::value, T, RetType>::type
{
    std::cout<<typeid(RetType).name()<<" "<<typeid(T).name()<<std::endl;
    return in;
}

int main()
{
    f(1);
    f<float>(1);
}

C ++函数模板：派生和显式返回类型

1 个答案: