Характеристики типов C++ зависят от порядка объявлений и различного поведения компилятора. ⇐ C++

[Anonymous]

Я обнаружил странное поведение с признаком пользовательского типа, который я писал, а также обнаружил, что разные компиляторы ведут себя с этим признаком по-разному. Цель проста: я хочу определить, определена/перегружена ли данная функция MyFunction для определенного типа ввода. Для этого я создал черту HasMyFunction. Ниже приведен пример кода и ссылка godbolt для поведения трех компиляторов.
Для меня поведение clang и gcc удивительно/некорректно. Признак возвращает false для примитивных типов и даже std::string, если MyFunction для этих типов не определен ДО определения шаблона для признака. Однако если я использую локально определенный/пользовательский тип, тот же тип всегда возвращает true, независимо от того, определен ли класс и его MyFunction до или после типажа.
MSVC возвращает true во всех случаях, независимо от порядка.
Насколько я понимаю, шаблоны не «существуют» до тех пор, пока не будут созданы их экземпляры, и учитывая, что создание экземпляров во всех случаях происходит намного позже всех этих других объявлений. Я не понимаю, почему такой порядок вопрос.
Какое здесь правильное поведение и какой из компиляторов не соответствует требованиям? Это не похоже на то, что могло бы зависеть от компилятора или оставляться на усмотрение разработчиков....
Godbolt
#include
#include
#include

/// Helper to determine if a type has a specialization of the MyFunction function
template
struct HasMyFunction : public std::false_type{};

template
struct HasMyFunction : public std::true_type{};

//Trait works no matter the location of this def
struct Test{};
std::string MyFunction(Test)
{
return "";
}

struct TestBad{};

//Move me up above line 5 and the trait works as you would expect (true)
//MSVC seems to work in all cases
//gcc/clang gives false unless this is declared before the template....
std::string MyFunction(int)
{
return "";
}
//Same behavior with std::string (non primative type....)
std::string MyFunction(std::string)
{
return "";
}

int main() {
std::cout

Подробнее здесь: https://stackoverflow.com/questions/793 ... er-behavio