c – 具有可变参数的外部模板无法编译

extern关键字应用于模板的显式实例化,并且它可以防止编译器在处理某个转换单元时隐式生成该模板的代码.根据C 11标准的第14.7.2 / 2段：

There are two forms of explicit instantiation: an explicit instantiation definition and an explicit instantiation
declaration. An explicit instantiation declaration begins with the extern keyword.

如果没有extern关键字,编译器将在每个包含对log(double,int)调用的转换单元中生成(例如)log(double,int)的代码,并且此代码 – 对于所有翻译单元应该和应该是相同的 – 最终将由链接器合并(链接器基本上会丢弃所有重复项并且只保留一个).

通过告诉编译器,extern关键字可以避免编译时间浪费：“相信我,别人会在其他地方实例化这个模板 – 你现在不需要这样做”.但必须履行这一承诺.

例如,如果您有这个主要模板：

template<typename... Xs> void log(Xs... xs);

并声明这个显式实例化：

extern template void log(int,double);

在某些翻译单元中,您必须具有相应的显式实例化：

template void log(int,double)

否则,编译器永远不会为log< int,double>(int,double)生成代码,并且链接器会抱怨未定义的引用.