C++ noexcept декларация изменения вычета шаблона

Question

Я был мастером, чтобы подтвердить пример на стр. 91 Эффективного современного C++, и я столкнулся с тем, что кажется странной проблемой. Этот код

template<typename C> 
void doStuff(C& a, C& b) noexcept(noexcept(doStuff(a.front(), b.front()))) { 
    std::cout << "container version" << std::endl; 
} 

template<> 
void doStuff<int>(int& x, int& y) noexcept { 
    std::cout << "int version" << std::endl; 
} 

int main() { 
    vector<int> v1 = {1, 2, 3}; 
    vector<int> v2 = {4, 5, 6}; 
    int x = 5; 
    int y = 6; 
    doStuff(x, y); 
    doStuff(v1, v2); 
} 

дает мне ошибку, как

error: request for member ‘front’ in ‘a’, which is of non-class type ‘int’ void doStuff(C& a, C& b) noexcept(noexcept(doStuff(a.front(), b.front()))) {

Таким образом, кажется, как верхняя версия DoStuff вызывается, даже если a.front() и b.front() должна быть возвращая ссылки на ints. Если я удалю все noexcept объявления из кода, я получаю ожидаемый результат.

Это с gcc 5.4.

Что я делаю неправильно?

Благодаря

Answer 1

Проблема заключается в том, когда поиск имени в этой точке:

template<typename C> 
void doStuff(C& a, C& b) noexcept(noexcept(doStuff(a.front(), b.front()))) { 
//           ^^^^^^^ 

просто найти один doStuff(): шаблон функции. Специализация пока не объявлена, поэтому она не рассматривается.

Первое, что нужно сделать, это просто избежать специализации. Они неловкие. Но тогда реальное исправление заключалось бы в том, чтобы придерживаться лишнего пустого типа исключительно для целей поиска, зависящих от аргументов. Это добавит зависимое имя в noexcept поиска, который не приведет к задержке вызова до конкретизации: специализаций

namespace N { 
    struct adl { }; 

    void doStuff(adl, int& , int&) noexcept { 
     std::cout << "int version" << std::endl; 
    } 

    template<typename C> 
    void doStuff(adl, C& a, C& b) noexcept(noexcept(doStuff(adl{}, a.front(), b.front()))) { 
     std::cout << "container version" << std::endl; 
    } 
} 

template <class C> 
void doStuff(C& a, C& b) noexcept(noexcept(doStuff(N::adl{}, a, b))) 
{ 
    doStuff(N::adl{}, a, b); 
} 

Answer 2

шаблона не перегружает. Ваша специализация для doStuff<int> не является перегрузкой doStuff<C>, это специализация. Таким образом, разрешение перегрузки не учитывает его, будет рассмотрен экземпляр шаблона, если оригинал выбран с помощью разрешения перегрузки. Заменить специализацию с перегрузкой (без шаблона, взяв два int& S)

void doStuff(int& a, int& b) noexcept;