c++ - 用户定义与自动模板推导指导优先级

Question

假设我们有这样一个带有用户定义推导指南的类:

template<typename T, typename... Args>
struct Foo
{
    Foo(Args&&...) { std::cout << "just Args: " << __PRETTY_FUNCTION__ << std::endl; }
    Foo(Args&&..., T&&) { std::cout << "Args and T: " << __PRETTY_FUNCTION__ << std::endl; }
};

template<typename... Args>
Foo(Args&&...) -> Foo<Void, Args...>;

现在让我们尝试创建此类的一个实例:Foo foo { 10 };。推导的模板参数是什么以及将调用什么构造函数？

经过一些实验证明它取决于编译器。也就是说，gcc 7 和 clang 6(来自 trunk)似乎选择了自动引导，用 int 和 Args 实例化 T 一个空包，因此输出是

Args and T: Foo<T, Args>::Foo(Args&& ..., T&&) [with T = int; Args = {}]

另一方面，clang 5 选择用户定义的指南:

just Args: Foo<Void, int>::Foo(Args &&...) [T = Void, Args = <int>]

哪种选择是正确的，在这种情况下如何使用用户定义的演绎指南？

完整示例可在 wandbox 上获得.

Answer 1

让我们从第一原则开始。试图从 Foo{10} 中推断出涉及在此集合上进行重载决议:

template <typename T, typename... Args>
Foo<T, Args...> __f(Args&&... ); // ctor #1

template <typename T, typename... Args>
Foo<T, Args...> __f(Args&&..., T&&); // ctor #2

template <typename... Args>
Foo<Void, Args...> __f(Args&&... ); // deduction guide

在第一个构造函数合成的函数中，T是一个非推导上下文。在由第二个构造函数合成的函数中，Args是一个非推导上下文。所以两者都不可行。演绎指南是可行的，所以它是最可行的候选者，所以我们最终得到 Foo<Void, int>。 .

到达那里后，我们再次执行重载决策以选择一个构造函数。这更直接，第一个可行，第二个不可行，因此应该调用它。

任何其他行为都是编译器错误(已提交 83447)。