Оптимизация компилятора удаляет неявное создание экземпляров шаблона, что приводит к ошибкам компоновщика.

Я пытаюсь переместить определение функции шаблона из файла заголовка.

Я знаю, что для этого я могу явно создать экземпляр этой функции со всеми типами, которые я хочу видеть извне (во время компоновки). Однако внутри исходного файла (вместе с определением функции) у меня есть использование (неявное создание) функции со всеми необходимыми типами. Этот код работает и отлично линкуется с -O0, но не линкуется с -O2.

Я смог минимизировать проблему:

// a.cpp
#include "b.h"

int main() {
  bar<int>();
  return 0;
}

// b.h
template <class T> void bar();

// b.cpp
#include "b.h"

template <class T> void bar() {}

void foo() { bar<int>(); }

Если я скомпилирую b.cpp с параметрами -O0 и -O2, я получу другой набор символов, доступных в объектном файле:

> clang++ -c b.cpp -o b.o && nm -A b.o

b.o:0000000000000000 W _Z3barIiEvv
b.o:0000000000000000 T _Z3foov

> clang++ -c b.cpp -O2 -o b.o && nm -A b.o

b.o:0000000000000000 T _Z3foov

То же самое происходит и с gcc.

Похоже, что компиляторы встраивают созданную функцию и удаляют ее, так как не видят других ее применений.

Можно ли предотвратить удаление неявно созданных экземпляров функций шаблона без их явного создания?

Заранее спасибо!

UPD: этот ответ на связанный вопрос (как указал @Jarod42) отвечает на мой вопрос а также: по стандарту это невозможно сделать без явного инстанцирования.