用户定义与自动模板扣除指南的优先级

User-defined vs automatic template deduction guides priorities

本文关键字：优先级 定义 用户      更新时间：2023-10-16

假设我们有一个类似的类，并带有用户定义的扣除指南：

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（来自中继线）似乎选择了自动指南，用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上的完整示例。

让我们从第一原则开始。尝试从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）。

相关文章：