Question

我试图将一组特定的功能放入一个单独的部分，并且在使用GCC时遇到了麻烦。

namespace /* anonymous */ {
  [[gnu::section(".mysection")]]
  void regular_func() { }

  template <class T>
  [[gnu::section(".mysection")]]
  void template_func() { }
} // namespace /* anonymous */

void (*ptr1)() = &regular_func;
void (*ptr2)() = &template_func<int>;

使用clang，regular_func和template_func<int>的符号都会按照我的预期放在.mysection中。

$ clang++ -std=c++14 a.cpp -c && objdump -t a.o | grep -E "regular|template"
0000000000000000 l     F .mysection 0000000000000006 _ZN12_GLOBAL__N_112regular_funcEv
0000000000000010 l     F .mysection 0000000000000006 _ZN12_GLOBAL__N_113template_funcIiEEvv

但是使用GCC时，功能模板不会放在.mysection中，而是放在.text.*部分。

$ g++ -std=c++14 a.cpp -c && objdump -t a.o | grep -E "regular|template"
0000000000000000 l     F .mysection 0000000000000007 _ZN12_GLOBAL__N_112regular_funcEv
0000000000000000 l     F .text  0000000000000007 _ZN12_GLOBAL__N_113template_funcIiEEvv

我使用的是clang-3.7.1和gcc-5.3.0。

如何强制gcc将模板实例化的函数放在一个单独的部分？

Answer 1

这可能是一个小小的安慰，但如果你申请section，GCC将会有责任属性为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)() = &regular_func;
void (*ptr2)() = &template_func<int>;

然后：

$ 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>();

话说：

template [[gnu::section(".mysection")]] void template_func<int>();
         ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
error: an attribute list cannot appear here

所以每个编译器必须有自己的方式，通过条件编译。

此外，此修复程序带来了您必须以某种方式确保的额外头痛对于您未明确指出的任何template_func()，T无法立即生效实例

您可以通过在函数模板的主体中静态断言来实现这一点 T是您允许实例化的A,B,C...类型之一。然后，如果它用T = D进行实例化，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)() = &regular_func;
void (*ptr2)() = &template_func<int>;
void (*ptr3)() = &template_func<float>;
void (*ptr4)() = &template_func<char>; // <-- static_assert fails

Answer 2

这不是最优雅的做事方式，但您可以进行一些名称修改并修改链接器脚本以获得所需的行为

#define TEMPLATE_SECTION(name, section) name##_##section##_

#define template_func TEMPLATE_SECTION(template_func, mysection)

template<class T>
void template_func() { }

void regular_func() {} 

int main() {
    regular_func();         //placed in ".text"
    template_func<int>();   //placed in ".mysection"
    template_func<float>(); //placed in ".mysection"
    return 0;
}

在链接器脚本中

SECTIONS {
    .mysection : {
        *(*_mysection_*) 
    }

    .text : {
        *(.text .text.*)
    }
}

在GCC中静默忽略函数模板的section属性

2 个答案: