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

Question

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

#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.

Answer 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), может быть много окружающих типов, которые являются вложенными, или их не должно быть.

Answer 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 контекст.

№ 3337 14.8.2.5/4

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

N3337 14.8.2.5/5

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

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

Answer 3

Во-первых, используя ::для ссылки на вложенную структуру неверно. Правильный способ - использоватьA<K>.x, где x является членом типа X<K>. Но чтобы это сработало, вам нужно объявить два членаx, y типа X<K> а также Y<K>соответственно.

Во-вторых, я думаю, что хорошей практикой является разделение шаблонных объявлений struct X а также struct Y из объявления структуры A, чтобы избежать объявления вложенной структуры.

Короче говоря, я бы переписал ваш код следующим образом:

template<class K>
struct X {
    K p;
};

template<class K>
struct Y {
    K q;
};

template<class K>
struct A {
    X<K> x;
    Y<K> y;
};

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

int main() {
    A<float> a;
    foo(a.x, a.y);
    return 0;
}