Я экспериментирую с понятиями c ++.Попытка устранить неоднозначность предложения «использование» шаблона с помощью концепции.Вот упрощенный пример:
namespace A {
template <typename T>
class Array
{
public:
typedef double ElementType;
Array() {}
ElementType *data() { return nullptr; }
};
template <typename E>
concept bool Engine =
requires(E e) { {e.data()} -> typename E::ElementType *; };
template <typename E>
requires Engine<E>
class Container
{
public:
Container() {};
};
} // namespace A
namespace B {
template <typename T>
using Container = A::Container<A::Array<T>>;
} // namespace B
int main()
{
using namespace A;
using namespace B;
Container<double> d;
return 0;
}
Это приводит к следующей ошибке:
cio.cc: In function 'int main()':
cio.cc:40:3: error: reference to 'Container' is ambiguous
Container<double> d;
^~~~~~~~~
cio.cc:20:7: note: candidates are: 'template<class E> requires Engine<E> class A::Container'
class Container
^~~~~~~~~
cio.cc:31:44: note: 'template<class T> using Container = A::Container<A::Array<T> >'
using Container = A::Container<A::Array<T>>;
^
cio.cc:40:13: error: expected primary-expression before 'double'
Container<double> d;
Так почему же A :: Container считается кандидатом на контейнер?двойной не соответствует понятиям.Где я не прав?