推导出的返回类型依赖于成员 function 模板参数

Question

我试图弄清楚这段代码有什么问题：

#include <string>

struct Bar
{
    using Deduced = typename std::string;
};

class Test
{
    template<typename Foo>
    auto Func() ->  decltype(Foo::Deduced)
    {
        return Foo::Deduced();
    }
};

int main()
{
    Test t;
    std::string ret = t.template Func<Bar>();
}

我正在重构一个 class，其中Func返回类型被声明为Test class 的模板 class 参数，但我想将其更改为成员模板参数。

这可能吗？ 如果是，任何人都可以建议我正确的语法？

Answer 1

删除decltype 。

decltype给出表达式的类型。 但是Foo::Deduced已经是一个类型，所以你不能对它应用decltype 。 您只是想引用该类型本身。 所以你所要做的就是写Foo::Deduced 。

但是，在某些情况下，您需要在它前面加上typename以告诉编译器它确实是一个类型。 在 C++20 中，您需要typename在return Foo::Deduced()中，但在尾随返回类型中不需要它。 在 C++20 之前，这两个地方都需要它。 因此，您的代码可以像这样重写：

template<typename Foo>
auto Func() ->  Foo::Deduced
{
    return typename Foo::Deduced();
}

或者可以使用推导的返回类型：

template<typename Foo>
decltype(auto) Func()  // notice no trailing return type
{
    return typename Foo::Deduced();
}

Answer 2

在这个别名声明中

using Deduced = typename std::string;

关键字typename是多余的。 写吧

using Deduced = std::string;

模板 function Func是 class Test的私有成员 function 。 您需要将其公开。

decltype说明符需要一个表达式。 你至少应该写

auto Func() ->  typename Foo::Deduced