c++ - 调用另一个翻译单元中专门的功能模板

Question

This question already has answers here:

Should I declare my function template specializations or is defining them enough?

(2个答案)



Is it safe to place definition of specialization of template member function (withOUT default body) in source file?

(3个答案)


在8个月前关闭。




我正在使用以下结构的代码库:

啊:

template<int N> void f();
void b();

a.cpp:

#include "a.h"

template<> void f<1>() {}

int main()
{
    b();
}

b.cpp:

#include "a.h"
void b()
{
    f<1>();
}

该代码似乎可以正确构建和运行。

我的问题是:这格式是否正确，还是某种格式不正确的NDR可以正常工作？

如果使用 clang -Wundefined-func-template构建(在我的IDE的clang-tidy默认设置中启用了此功能)，则会产生警告:

b.cpp:5:2: warning: instantiation of function 'f<1>' required here, but no definition is available [-Wundefined-func-template]
        f<1>();
        ^
./a.h:1:22: note: forward declaration of template entity is here
template<int N> void f();
                     ^
b.cpp:5:2: note: add an explicit instantiation declaration to suppress this warning if 'f<1>' is explicitly instantiated in another translation unit
        f<1>();
        ^

但是我不确定是只是禁用警告，还是要进行一些代码更改(除了将显式专门化定义移至头文件之外，这对于该项目而言是不可取的)。

遵循警告消息中的建议并将显式实例化声明添加到头文件(即 extern template void f<1>();)会导致错误消息(显式实例化之前隐式实例化特殊化)。

但是，在头文件中添加明确的特化声明 template<> void f<1>();可以消除警告。但是我不确定这是否是(a)必要的，和/或(b)推荐的样式。

最佳答案

该程序违反了[temp.expl.spec]/6:

If a template, a member template or a member of a class template is explicitly specialized then that specialization shall be declared before the first use of that specialization that would cause an implicit instantiation to take place, in every translation unit in which such a use occurs; no diagnostic is required.

函数模板 f由b.cpp中的 template<> void f<1>() {}显式专门化。但是在由b.cpp组成并包括a.h的翻译单元中，语句 f<1>();将导致相同特化 f<1>的隐式实例化，并且在翻译单元中没有更早(或任何地方)的显式特化声明。

根据标准，显式特化始终与实例化特化是不同的，因为对于相同的主模板和相同的模板参数，两者永远不可能存在。但是该程序仍然可以工作，因为许多编译器对模板显式特化和实例化特化使用相同的链接器名称。

发出警告可能是因为，如果在其他地方显式实例化了(而不是显式地)相同的特殊化，则隐式地实例化没有可见定义的函数模板是合法的，尽管不寻常。因此，这建议改进法律程序，使其更加清晰。不过，我不确定这是否合法。但是它建议的显式实例化声明将是一个谎言，因为专门化是显式专门化的，而不是显式实例化的。

如果您为要使用的每种特殊化向头文件添加显式的特殊化声明，则该程序确实有效。

template<int N> void f();
template<> void f<1>();

关于c++ - 调用另一个翻译单元中专门的功能模板，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/61150890/

上一篇：c++ - 递归在C++中的循环内不起作用

下一篇：c++ - C++函数调用到RISC-V系统调用

Answer 1

该程序违反了[temp.expl.spec]/6:

If a template, a member template or a member of a class template is explicitly specialized then that specialization shall be declared before the first use of that specialization that would cause an implicit instantiation to take place, in every translation unit in which such a use occurs; no diagnostic is required.

函数模板 f由b.cpp中的 template<> void f<1>() {}显式专门化。但是在由b.cpp组成并包括a.h的翻译单元中，语句 f<1>();将导致相同特化 f<1>的隐式实例化，并且在翻译单元中没有更早(或任何地方)的显式特化声明。

根据标准，显式特化始终与实例化特化是不同的，因为对于相同的主模板和相同的模板参数，两者永远不可能存在。但是该程序仍然可以工作，因为许多编译器对模板显式特化和实例化特化使用相同的链接器名称。

发出警告可能是因为，如果在其他地方显式实例化了(而不是显式地)相同的特殊化，则隐式地实例化没有可见定义的函数模板是合法的，尽管不寻常。因此，这建议改进法律程序，使其更加清晰。不过，我不确定这是否合法。但是它建议的显式实例化声明将是一个谎言，因为专门化是显式专门化的，而不是显式实例化的。

如果您为要使用的每种特殊化向头文件添加显式的特殊化声明，则该程序确实有效。

template<int N> void f();
template<> void f<1>();