c++ - 在自己的成员函数中构造类时如何强制类模板参数推导？

Question

考虑以下代码:

struct A {};

template <typename T> struct B
{
    B(T) {}
    auto foo() {return B(A{});} // error: no matching function for call to 'B<int>::B(A)'
};

auto foo() {return B(A{});} // compiles

int main()
{
    foo();
    B b(0);
    b.foo();
}

Try it live

我明白为什么B::foo()不编译:struct B<T> 内部, B (作为注入(inject)类名)表示 B<T>除非它明确用作模板。在这种情况下，这可以防止类模板参数推导。

假设我做不到auto foo() {return B<A>(A{});}因为我的实际代码依赖于用户提供的稍微复杂的推导指南。

问题是:如何在构造 B 时强制类模板参数推导？ B::foo 内部？

_{我希望我没有漏掉一些明显的东西。}

Answer 1

您对其进行限定，使其不是注入(inject)类名。

auto foo() {return ::B(A{});}