C ++ - Неоднозначное перегруженное шаблонное разрешение / дедукция - PullRequest
Новая
       31

C ++ - Неоднозначное перегруженное шаблонное разрешение / дедукция

0 голосов
/ 14 марта 2019

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

#include <algorithm>
#include <iostream>
#include <vector>

template<typename T>
void Print(const T& x)
{
    std::cout << x << std::endl;
}

template<typename T>
void Print(const std::vector<T>& x)
{
    for(auto it = x.begin(); it != x.end(); ++it)
    {
        std::cout << *it << " ";
    }
    std::cout << std::endl;
}

int main(int argc, char const *argv[])
{
    std::vector<int> v = { 0, 1, 2, 3, 4, 5, 6, 7, 8, 9 };

    Print(5); // 5
    Print(v); // 0 1 2 3 4 5 6 7 8 9

    return 0;
}

Я не уверен, где искать, поэтому хорошая ссылка также очень ценится.

1 Ответ

4 голосов
/ 14 марта 2019

const std::vector<T>& x является более специализированным типом, чем const T& x.Более специализированный тип считается более подходящим для разрешения перегрузки.Следовательно, ваш код ведет себя так, как и должен.

...