https://www.bilibili.com/video/BV1MT4y1M7eJ
评论区笑死

这里有一名学生来自清华大学，谁将有一个六级考试明天。但我完全没有准备为它，我的英语是贫穷。不仅仅不是我听过听力，但是也没有写过作文。在一只手上，我不知道那些单词，在另一只手上，我不能正确地使用那些动词和语法。

Source: Zenithal Hourly Radio
本频道评论: 原 汁 原 味

​​VSinder
程序员的约会软件，程序版的探探，在 VSCode 里查看对方的代码，左滑不感兴趣，右划感兴趣，配对成功即可聊天。真实无套路，另外还有手机APP，祝各位找到真爱。

大 学 生 活

这样的班长谁不爱呢.webp

给利奥🌿

今日份的啥都忘了的我
是什么浪费了我一个小时

#include <iostream>

template <class T>
void f(T) {
    std::cout << "func 1";
}

template <>
void f<>(int *) {
    std::cout << "func 2";
}

template <class T>
void f(T *) {
    std::cout << "func 3";
}

int main() {
    int *p;
    f(p);
}

与类模板不同，函数模板并不存在偏特化（partial specialization），所以 34 是 1 的重载，他们在重载决议（overload resolution）中地位等价。
2 与 5 分别是 1 与 3 的显式特化（explicit specialization），所以该代码能够编译而不会产生重定义，原因暂且按下不表，后文阐述。

重载决议首先进行名字查找（name lookup）与参数依赖查找（argument-dependent name lookup），该阶段仅关心函数名的可见性，而对参数是否匹配并不关心，所以 25 仅作为特化而非重载并不参与。查找生成候选函数（candidate function）集合，包含 134。
对于候选函数中的每一个函数模板，因为调用时并没有显式指定模板实参（explicit template argument specification），所以将进行模板实参推导（template argument deduction）。4 推导失败，将不会加入可行函数（viable function）集合。而 13 推导成功，将对应的模板特化 25 加入可行函数集合。
对于可行函数，将两两比较以确定最佳可行函数（best viable function），其规则众多，这里地方虽然够大但是也写不下。对于两函数模板，将按照模板特化偏序规则（partial ordering of function template）进行比较。
模板特化偏序规则比较的是函数模板本身，而非模板特化。简单的来说，若 f 比 g 接受更少的类型，则 f 比 g 更特殊，即 f 优于 g。显然 3 比 1 更特殊，所以其对应特化 5 是最佳可行函数。

在不存在 5 的情况下，模板实参推导成功后 3 将进行隐式特化（implicit specialization），最终调用的为该隐式特化。

2 与 5 分别是 1 与 3 的显式特化的原因是：在 2 定义时，仅有 1 一个函数模板可见，它只能成为 1 的特化；而在 5 定义时，1 与 3 两个函数模板均对其可见，模板特化偏序规则在此又将被应用，选择更特殊的 3，成为其特化。

---

如果添加一个 6：

void f(int *) {
std::cout << "func 6";
}

注意到 6 并非函数模板，而最佳可行函数的确定规则中有一条：非模板函数始终优于模板函数。所以将毫无悬念地调用 6。

课后作业：

#include <iostream>

template <class T>
void f(T) {
std::cout << "func 1";
}

template <class T>
void f(T *) {
std::cout << "func 3";
}

template <>
void f<>(int *) {
std::cout << "func 2";
}

int main() {
int *p;
f(p);
}