В чем разница между полным и неполным поиском имени при вычитании шаблонов?

При написании методов шаблона я столкнулся со следующим поведением, которое я не понимаю.

У меня есть следующий код:

#include <array>
#include <iostream>

namespace A
{
    template<typename T>
    class Bar
    {
            T Var;
    };
}

namespace B
{

    template<typename T>
    void Foo(const T& var)
    {
            std::cout << "default template method has been called" << std::endl << std::endl;
    }

    template<typename T, size_t N>
    void Foo(const std::array<T,N>& var)
    {
            std::cout << "Array overload has been called" << std::endl;
            for(auto& elem : var)
            {
                Foo(elem);
            }
    }

    template<typename T>
    void Foo(const A::Bar<T>& var)
    {
            std::cout << "Bar overload has been called" << std::endl << std::endl;
    }
}

int main()
{
    int                        VarInt;
    A::Bar<int>                VarBar;
    std::array<int, 1>         ArrayInt;
    std::array<A::Bar<int>, 1> ArrayBar;

    B::Foo(VarInt);
    B::Foo(VarBar);
    B::Foo(ArrayInt);
    B::Foo(ArrayBar);
    return 0;
}

Это не то, что я ожидаю, как и в случае с массивом Bar, вместо перегрузки Bar вызывается шаблон по умолчанию:

default template method has been called

Bar overload has been called

Array overload has been called
default template method has been called

Array overload has been called
default template method has been called

Я заметил, что выполнение следующих действий позволяет компилятору находить правильные перегрузки:

  • удаление всех пространств имен или
  • объявление всех прототипов шаблонов перед их реализацией

Вы получите ожидаемое поведение, переместив Foo(Bar) в пространство имен A или переместив его выше Foo(std::array).

paolo 09.04.2022 15:00

Да, это правда, однако, хотя это возможно в рамках этого примера (который, конечно, намного проще того, с чем я работаю), в реальном случае это сделать нецелесообразно. Я бы предпочел использовать решение объявления перегрузок перед их реализацией.

J.M 09.04.2022 15:10

@JM Да, я бы тоже предпочел декларацию перед реализацией.

Anoop Rana 09.04.2022 15:34
Формы c голосовым вводом в React с помощью Speechly
Формы c голосовым вводом в React с помощью Speechly
Пытались ли вы когда-нибудь заполнить веб-форму в области электронной коммерции, которая требует много кликов и выбора? Вас попросят заполнить дату,...
Стилизация и валидация html-формы без использования JavaScript (только HTML/CSS)
Стилизация и валидация html-формы без использования JavaScript (только HTML/CSS)
Будучи разработчиком веб-приложений, легко впасть в заблуждение, считая, что приложение без JavaScript не имеет права на жизнь. Нам становится удобно...
Flatpickr: простой модуль календаря для вашего приложения на React
Flatpickr: простой модуль календаря для вашего приложения на React
Если вы ищете пакет для быстрой интеграции календаря с выбором даты в ваше приложения, то библиотека Flatpickr отлично справится с этой задачей....
В чем разница между Promise и Observable?
В чем разница между Promise и Observable?
Разберитесь в этом вопросе, и вы значительно повысите уровень своей компетенции.
Что такое cURL в PHP? Встроенные функции и пример GET запроса
Что такое cURL в PHP? Встроенные функции и пример GET запроса
Клиент для URL-адресов, cURL, позволяет взаимодействовать с множеством различных серверов по множеству различных протоколов с синтаксисом URL.
Четыре эффективных способа центрирования блочных элементов в CSS
Четыре эффективных способа центрирования блочных элементов в CSS
У каждого из нас бывали случаи, когда нам нужно отцентрировать блочный элемент, но мы не знаем, как это сделать. Даже если мы реализуем какой-то...
1
3
32
1
Перейти к ответу Данный вопрос помечен как решенный

Ответы 1

Ответ принят как подходящий

It's output is not what i expect as with the array of Bar, the default template is called instead of the Bar overload

Для выражения вызова B::Foo(ArrayBar) выбирается вторая перегрузка void Foo(const std::array<T,N>& var), где N выводится в 1, а T выводится в A::Bar<int>.

Теперь внутри этой перегрузки, когда встречается выражение вызова Foo(elem), компилятор не знает о третьем перегруженном Foo. Таким образом, он выбирает первую перегрузку Foo, которая является наиболее общей из двух доступных на тот момент.


declaring all the templates prototypes before implementing them

Предоставление объявлений для всех перегрузок Foo перед их реализацией позволяет компилятору узнать, что существует третья перегрузка Foo. Итак, на этот раз выражение вызова Foo(elem) вызывает третью перегруженную Foo, как и ожидалось (потому что она более особенная, чем первая перегрузка Foo).


removing all namespaces

А когда все помещается в одно глобальное пространство имен, из-за АДЛ обнаруживается и третья перегрузка.

Почему Foo(Bar) вызывается, когда все находится в глобальном пространстве имен? Это потому, что Foo(Bar) и Bar находятся в одном и том же пространстве имен, поэтому ADL находит его?

paolo 09.04.2022 15:06

@paolo В основном да из-за ADL.

Anoop Rana 09.04.2022 15:10

Правильно, когда вызов зависимой функции, такой как Foo(elem), подходит для ADL, функции-кандидаты — это объявления, видимые из определения шаблона, а также объявления, найденные ADL. Но для типа аргумента A::Bar<int> ADL не ищет в пространстве имен B.

aschepler 09.04.2022 15:22

Другие вопросы по теме