Question

我尝试了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不能满足这些概念。我在哪里错了？

Answer 1

C ++ 20 Concepts不支持该用例。我们对函数有重载解析，但是对于这样的类型或别名没有重载解析。

Container<dobule>必须引用一件事，但是它可能是A::Container或B::Container ...所以形式不正确。这里没有“检查此特定的类模板是否满足约束”步骤。

概念不能解决预期的歧义。代码示例有什么问题？

1 个答案: