这可能是一个小小的安慰,但如果您应用 GCC,GCC 将有义务section
归因于显式实例化template <class T> void template_func()
,
对于每个T
您想要实例化的,例如
namespace /* anonymous */ {
[[gnu::section(".mysection")]]
void regular_func() { }
template <class T>
void template_func() { }
template [[gnu::section(".mysection")]] void template_func<int>();
} // namespace /* anonymous */
void (*ptr1)() = ®ular_func;
void (*ptr2)() = &template_func<int>;
Then:
$ g++ -std=c++14 a.cpp -c && objdump -C -t a.o | grep -E "regular|template"
0000000000000000 l F .mysection 0000000000000007 (anonymous namespace)::regular_func()
0000000000000007 l F .mysection 0000000000000007 void (anonymous namespace)::template_func<int>()
很遗憾clang拒绝:
template [[gnu::section(".mysection")]] void template_func<int>();
saying:
template [[gnu::section(".mysection")]] void template_func<int>();
^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
error: an attribute list cannot appear here
所以每个编译器必须有自己的方式,通过条件编译。
此外,此修复带来了额外的麻烦,您必须以某种方式确保
那template_func()
无法实例化任何T
你没有明确表示
实例化。
您可以通过在函数模板的主体中静态断言来实现这一点T
是其中一种类型A,B,C...
您允许实例化的。那么如果它
曾经被实例化过T
= D
, the static_assert
会开火;你可以
添加D
到列表中并添加显式实例化D
:
#include <type_traits>
template<typename T, typename First>
constexpr bool is_in()
{
return std::is_same<T,First>::value;
}
template<typename T, typename First, typename Second, typename ...Rest>
constexpr bool is_in()
{
return is_in<T,First>() || is_in<T,Second,Rest...>();
}
namespace /* anonymous */ {
[[gnu::section(".mysection")]]
void regular_func() { }
template <class T>
void template_func()
{
static_assert(is_in<T,int,float>(),"");
}
template [[gnu::section(".mysection")]] void template_func<int>();
template [[gnu::section(".mysection")]] void template_func<float>();
} // namespace /* anonymous */
void (*ptr1)() = ®ular_func;
void (*ptr2)() = &template_func<int>;
void (*ptr3)() = &template_func<float>;
void (*ptr4)() = &template_func<char>; // <-- static_assert fails