99 template adv

约 646 个字 31 行代码 4 张图片预计阅读时间 3 分钟

7.2.4 模板友元¶

看这个 https://isocpp.org/wiki/faq/templates#template-friends

More about template argument deduction¶

7.3 将声明和实现分离？¶

.h 里放不会编译出任何二进制代码的东西，例如 extern 全局变量声明、没有 body 的函数声明、类定义和模板； .cpp 里放会编译出二进制代码的东西，例如全局变量定义、函数定义、类成员定义。

类内完整定义的成员函数是 inline 的

struct B {
    B() {}
    B(A& a);
};

struct A {
    int x;
};

B::B(A & a) {
    a.x = 1;
}

7.3.1 显式实例化¶

我们也可以显式地实例化一个模板，例如：

// template definition: abs is a function template
template<typename T> T abs(T x) { return x > 0 ? x : -x; }

// instantiates abs<int>(int)
template int abs<int>(int);     
// instantiates abs<double>(double), template argument deduced
template double abs<>(double);  
// instantiates abs<float>(float), template argument deduced
template float abs(float);      

这里，第 5 行显式地实例化了函数 abs<int>。也就是说，这一行告诉编译器：请帮我生成一个 T 为 int 的 abs 的实例。编译器就会产生这样的特化：

template<>
int abs<int>(int x)
{
    return x > 0 ? x : -x;
}

第 6 行类似，但是区别是 template double abs<>(double); 中函数名写了 abs<> 而非 abs<double>。例如，虽然

显式实例化是一个定义^{temp.explicit#2}，除非它有 extern 关键字。

显式实例化一个类会实例化所有成员，这与隐式实例化不同。

同时，也可以只显式实例化成员函数，但是这很少使用。

显式实例化主要是用来显式指明实例化发生的位置，从而减少编译需要使用。

在 .h 中 extern

类的显式实例化的参数类型和返回类型可以是 private 成员。

默认模板参数¶

https://www.foonathan.net/2020/10/tricks-default-template-argument/

7.4 显式特化与偏特化¶

typename

例子：min for char const *

给定一组的模板参数，一个模板的显式实例化和显式特化不应同同时出现，除非它们的声明之间互不矛盾。当这条规定被违反时，编译器不必给出诊断信息^{temp.spec.general#5}。（由于对于类模板而言，相同的模板参数即代表相同的声明，因此

7.5 变量模板¶

C++14 引入了 变量模板 (variable templates)，它的应用场景比较简单。例如：

template<typename T> constexpr T pi = T(3.1415926535897932385);

template<typename T> T area_of_circle(T radius) {
    return pi<T> * radius * radius;
}