Моя специализация шаблона отличается отладочной версией от версии выпуска, это ошибка gcc?

Прежде всего, у меня есть заголовочный файл для класса, объявление специализации без определения (примеры кода из Интернета)

$ cat foo.h

template<typename T>
class foo{
public:
static void init(){
return;
}

};

template<>  void foo<int>::init();

Тогда есть 2 файла реализации для специализации шаблона

$ cat foo_int.cpp
#include "foo.h"#include<stdio.h>
template<>
void foo<int>::init(){
printf("init int foo\n");
}

$ cat foo_float.cpp
#include "foo.h"#include<stdio.h>
template<>
void foo<float>::init(){
printf("init float foo\n");
}

Наконец я получил основной файл

$ cat main.cpp
#include "foo.h"
int main(){
foo<int>::init();
foo<float>::init();
}

Если я скомпилирую его без оптимизации и запустлю, это даст:

g ++ foo_int.cpp foo_float.cpp main.cpp && a.out
init int foo
init float foo

Если я добавлю оптимизацию, то результат будет другим:

$ g ++ foo_int.cpp foo_float.cpp main.cpp -O2 && a.out
init int foo

Результат другой. В некоторых объяснениях из Интернета говорится, что это связано с каким-то внутренним механизмом «слабого символа» в реализации gcc, но мой вопрос:

1. Является ли «слабый символ» / «сильный символ» концепцией gcc / g ++ или является частью спецификации языка c / c ++.

2. Если результаты отладки и выпуска отличаются, должен ли я сказать, что это ошибка / проблема в gcc / g ++, в связи с механизмом «слабого символа»? Как разработчик, я не ожидал бы, что моя отладочная версия будет вести себя иначе, чем релизная версия.

Я попробовал лязг, к сожалению, такая же ошибка. Является ли это «приемлемым» случаем для C / C ++, когда отладка / выпуск «должны» вести себя так по-разному?