我尝试使用c++概念。尝试通过使用概念来消除模板' using‘子句的歧义。以下是一个简化的示例:
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被认为是Container的候选者呢?double不符合这些概念。我哪里错了?
发布于 2019-02-02 00:23:10
C++20概念就是不支持这种用例。我们有函数的重载解析,但我们没有这样的类型或别名的重载解析。
Container<dobule>必须指一件事,但它可以是A::Container或B::Container...所以这是病态的。这里没有“检查这个特定的类模板是否满足约束”步骤。
https://stackoverflow.com/questions/54483306
复制相似问题