Независимо от того, хорошая это идея или нет, разрешено ли в C++ иметь две шаблонные функции, которые отличаются только типом нетипового параметра шаблона.
Я задаю этот вопрос, потому что MSVC и GCC/Clang ведут себя в этом отношении по-разному.
У меня есть следующие шаблонные функции:
Код: Выделить всё
template
void fun() {}
template
void fun() {}
При определении типов E1 и E2 как перечислений и вызове функций это компилируется с GCC/Clang, но не компилируется с MSVC 2022 («неоднозначный вызов перегруженной функции»):
Код: Выделить всё
enum E1 { A = 1 };
enum E2 { B = 1 };
void test() {
fun();
fun();
}
Думаю, это связано с тем, что компиляторы по-разному меняют имена, и MSVC теряет информацию о типе в процессе, поэтому оба являются просто вызовами fun().
С другой стороны, когда я конвертирую перечисления в классы перечислений, они также компилируются в MSVC:
Код: Выделить всё
// defining the enums:
enum class E1 { A = 1 };
enum class E2 { B = 1 };
// calling the functions like this:
fun();
fun();
Итак, какой компилятор ведет себя правильно в соответствии со спецификацией? И является ли последняя версия с использованием класса перечислениядействительным решением проблемы?
Подробнее здесь:
https://stackoverflow.com/questions/792 ... -signature