使库函数模板化以避免编译器指令是否有益？

Question

假设我正在命名空间l 中创建自己的库。使尽可能多的命名空间成员模板化是否有益？这将鼓励编译器只为库用户实际调用的成员生成指令。为了说明我的观点，我将在这里进行演示：

1)

namespace l{
    template <typename = void>
    int f() { return 3; }
}

对比

2)

namespace l{
    int f() { return 3; }
}

没有在 main 中调用它来显示差异。

int main() { return EXIT_SUCCESS; }

函数1）不需要l::f()的额外说明：

main:
    push    rbp
    mov     rbp, rsp
    mov     dword ptr [rbp - 4], 0
    mov     eax, 0
    pop     rbp
    ret

函数 2) 确实需要针对 l::f() 的额外说明（如果再次调用 l::f()）：

l::f()
    push    rbp
    mov     rbp, rsp
    mov     eax, 3
    pop     rbp
    ret
main:                                  
    push    rbp
    mov     rbp, rsp
    mov     dword ptr [rbp - 4], 0
    mov     eax, 0
    pop     rbp
    ret

Answer 1

tl;dr

将库函数模板化以避免编译器指令是否有益？

没有。发出死代码并不是编译的昂贵部分。文件访问、解析和优化（不一定按此顺序）需要时间，而且这种想法迫使库客户端读取和解析比常规标头 + 库模型更多的代码。

通常指责模板减慢构建，而不是加速构建。

---

这也意味着您无法提前构建库，因此每个用户都需要从头开始编译他们使用的任何部分，在每个翻译单元中使用它们。

编译所花费的总时间可能使用模板化版本会更长。您必须进行概要分析才能确定（我怀疑这个f 太小以至于无法衡量）但我很难将其视为有用的改进。

无论如何，您的比较并不具有代表性——一个好的编译器会在链接时丢弃死代码。有些还能够从静态库中内联代码，因此对编译时或运行时性能没有可靠的影响。