2
struct A {

};

using Type = A;   // (1)
using Type = int; // (2)

template<typename T>
T x = foo(T{});

auto foo(Type x) {
    return x;
}

int main() {
    x<Type>;
}

Почему если закомментировать строку (1), то программа не компилируется gcc и clang (1 и 2), а если закомментировать строку (2), то компилируется обоими компиляторами (3 и 4)?

1
  • FYI, на godbolt'е можно несколько компиляторов параллельно повесить на один код....
    – Fat-Zer
    Commented 13 дек. 2018 в 18:03

1 ответ 1

4

Имя функции foo в данном случае является зависимым именем в определении шаблона. Для зависимых имен выполняется два вида поиска имен:

  1. Обычный поиск имен, видимых из точки определения шаблона.

  2. Поиск имен в т.наз. ассоциированных пространствах имен, видимых как из точки определения шаблона, так и из точки его инстанцирования. Это пространства имен, ассоциированные с типами аргументов функции.

Это то, что неформально называется "двухфазным поиском имен". При этом важно то, что второй вид поиска ("вторая фаза") выполняется только в ассоциированных пространствах имен.

  • Встроенные типы не имеют ассоциированных пространств имен вообще. Поэтому если в вашем примере аргумент функции foo имеет тип int, то второй вид поиска фактически не выполняется вообще. Никаких новых функций найдено не будет. Код является некорректным.

  • Пользовательский тип A в качестве ассоциированного пространства имен имеет то пространство имен, в котором он объявлен, т.е. глобальное пространство имен. Вторым видом поиска будет сделан поиск в глобальном пространстве имен из точки инстанцирования шаблона и найдена "новая" функция foo. Код корректен.

См. также
Почему std::find не использует мой operator==?
Не могу понять что не нравится clang`у

Ваш ответ

Нажимая «Отправить ответ», вы соглашаетесь с условиями пользования и подтверждаете, что прочитали политику конфиденциальности.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.