Шаблон кандидата игнорируется, поскольку аргумент шаблона не может быть выведен

Что не так в следующем фрагменте кода?

#include <iostream>

template<typename K>
struct A {
    struct X { K p; };
    struct Y { K q; };
};

template<typename K>
void foo(const typename A<K>::X& x, const typename A<K>::Y& y) {
    std::cout << "A" << std::endl;
}

int main() {
    A<float>::X x;
    A<float>::Y y;
    foo(x, y);  
}

clang дает следующее сообщение об ошибке:

17:2: error: no matching function for call to 'foo'
        foo(x, y);      
        ^~~
10:6: note: candidate template ignored: couldn't infer template argument 'K'
void foo(const typename A<K>::X& x, const typename A<K>::Y& y) {
     ^
1 error generated.

Ответы

Ответ 1

Аргумент K в const typename A<K>::X не выводим. В принципе, все, что осталось от ::, не выводимо (если :: разделяет вложенное имя).

Тривиально видеть, почему нет смысла просить об удержании, пропустив этот мысленный эксперимент:

struct A { typedef int type; }
struct B { typedef int type; }

template <typename T> void foo(typename T::type);

foo(5);   // is T == A or T == B ??

Нет однозначного сопоставления типов от вложенных типов: для любого типа (например, int) может существовать множество типов окружения, которые являются вложенными типами, или их не должно быть.

Ответ 2

template<typename K>
void foo(const typename A<K>::X& x, const typename A<K>::Y& y) {
    std::cout << "A" << std::endl;
}

K не может быть выведен, поскольку он находится в non-deduced контексте.

n3337 14.8.2.5/4

В некоторых контекстах, однако, значение не участвует в выводе типа, но вместо этого использует значения аргументов шаблона, которые были либо выведены в другом месте, либо явно указаны. Если параметр шаблона используется только в не выводимых контекстов и явно не указано, вывод аргумента шаблона не работает.

n3337 14.8.2.5/5

Невыводимые контексты:

- спецификатор вложенного имени типа, который был указан с использованием идентификатора с квалификацией.