Удаление мертвого кода extern'd global

Question

Мне интересно, удалит ли компилятор/компоновщик глобальные переменные, которые были extern 'd в общедоступном заголовке? Например:

// public.h 
struct func_ptrs { 
    void (*foo)(void); 
    void (*bar)(int); 
}; 

extern const struct func_ptrs DEFAULT_FUNCS; 

и:

// private.c 
#include "public.h" 

void def_foo(void) { ... } 
void def_bar(int a) { ... } 

const struct func_ptrs DEFAULT_FUNCS = { .foo = def_foo, .bar = def_bar }; 

Есть ли какие-либо конкретные флаги компоновщика, которые позволят этой переменной (и двух функций), чтобы быть отделенной от полученного двоичного файла?

Предположим, что GCC и MSVC являются двумя целевыми компиляторами.

Answer 1

DEFAULT_FUNCS:

Поскольку символ DEFAULT_FUNCS - из-за его рамки и модификаторов - подлежит экспортируются в таблицу символов из двоичного файла для (динамическое) связывание, она не может быть лишен. Другими словами: компоновщик (ld) не может определить, будут ли использоваться символы или нет.

Функции def_foo & def_bar

Кроме того, нет никаких функций на всех, которые могут быть удалены, так как вы только объявили им. В самом деле, связывание этого двоичного файла потерпит неудачу, поскольку def_foo и def_bar являются неопределенными символами. более

одно: Правильно было бы:

const struct func_ptrs DEFAULT_FUNCS = ... 

без звездочки, так как вы инициализировать-структуру не указатель.