扣除在类模板中声明的朋友函数的模板参数

Question

考虑以下示例：

#include <iostream>

template <class T, int V>
struct S
{
    friend int Func(T) // decl-1
    {
        return V;
    }
};

struct U
{
    friend int Func(U); // decl-2
};

template struct S<U, 42>; // spec-1

int main()
{
    std::cout << Func(U{}) << std::endl; // Compiles and prints 42
}

我的理解是func（u {}）导致函数func 的不合格的名称查找，并且通过ADL查找声明 ext -2 。 但是，这不是过载分辨率的可行候选功能（由于未定义），因此编译器选择声明 exl> ext-1 。。 误解和与问题无关，请参阅@languagelawyer的评论

我的问题是标准中的哪个规则允许编译器使用“专业化”模板参数 类模板。

spec-1 实例化包含 dect-1 的 /cpp“ rel =“ nofollow noreferrer”> cppReference ，我发现似乎应用的唯一规则是指函数模板的过载分辨率，并引用：

对于函数模板，执行模板参数扣除和检查任何明确的模板参数以查找在这种情况下可以使用的模板参数值（如果有）：

• 如果两者都成功，则使用模板参数来综合相应函数模板专业的声明，这些声明被添加到候选集合中，并且该专业的处理方式就像非网板函数一样处理规则;
• 如果参数扣除失败或合成函数模板专业化将是不形式的，则不会将此类功能添加到候选人集中。

来源： https://en.cppreference.com/w/cpp /语言/Overload_resolution＃详细信息

IS ext-1 考虑了一个函数模板，以实现超载的目的 解决？编译器是否合成声明模板int func＆lt; u，42＆gt;（u）使用 spec-1 （通过模板参数扣除，大概是）？还是这里有其他事情在这里？

编辑：我可能拥有的另一种误解是 spec-1 ，我目前的理解是，这是对类模板的明确专业化的声明S作为不完整的类型，如果可能的话，请澄清一下。

Answer 1

标准中的哪个规则允许编译器使用“专业规格1”的模板参数来实例化包含dect-1的类模板。

这是在哪个指出：

一个明确的实例化定义，该定义名称类模板专业化明确实例化了类模板专业，并且是仅在实例上定义的那些成员的明确实例化定义。

>

>

（强调我的）

并且由于spec-1是 显式实例定义，结果将是类模板专业化的实例化s＆lt; u，42＆gt; < /代码>

---

出于超负荷分辨率的目的，dect-1是否被视为函数模板？

否，ext-1是普通（非网板）函数的定义。 Moroever，此ext-1不过是在exling-2中声明的函数的定义。

Answer 2

我可能拥有的另一种误解是Spec-1，我当前的理解是，这是将类模板S的明确专业化为不完整的类型，如果可能的话，请澄清一下，如果这是正确的。<<<<<<<<<<< /p>

这是不正确的。

template struct S<U, 42>; // spec-1

根本不是专业，而是。

它只是告诉编译器使用参数发射s的相同实例化t = u和v = 42，如果您引用了，则会发出。在任何其他情况下，s＆lt; u，24＆gt;。

作为不完整类型的专业化看起来像

template <> struct S<U, 42>;