Question

当我正在处理我的c ++项目时，我得到了xxx is ambiguous。由于整个项目太大而无法在这里上传，我做了一个简单的例子，弹出相同的错误信息。

#include <string>
#include <memory>

namespace a {

template <typename T, typename Target>
inline std::shared_ptr<T> getShared(Target const& t)
{
    return std::static_pointer_cast<T>(t->shared_from_this());
}

class A : public std::enable_shared_from_this<A>
{
};

}

namespace b {

template <typename T, typename Target>
inline std::shared_ptr<T> getShared(Target const& t)
{
    return std::static_pointer_cast<T>(t->shared_from_this());
}

class A : public std::enable_shared_from_this<A>
{
};

void invoke()
{
    // ERROR OCCURED!!!
    a::A* a;
    getShared<a::A>(a);

    // But this is compiled without any problem :(
    //  A* a;
    //  getShared<A>(a);
}

}

int main(int, char**)
{
    b::invoke();

    return 0;
}

这是错误信息......

clang++ -c -pipe -g -std=gnu++1y -Wall -W -fPIC -DQT_QML_DEBUG -I../untitled -I. -I/usr/lib/x86_64-linux-gnu/qt5/mkspecs/linux-clang -o main.o ../untitled/main.cpp
../untitled/main.cpp:34:2: error: call to 'getShared' is ambiguous
        getShared<a::A>(a);
        ^~~~~~~~~~~~~~~
../untitled/main.cpp:7:27: note: candidate function [with T = a::A, Target = a::A *]
inline std::shared_ptr<T> getShared(Target const& t)
                          ^
../untitled/main.cpp:21:27: note: candidate function [with T = a::A, Target = a::A *]
inline std::shared_ptr<T> getShared(Target const& t)

我尝试使用gcc 6.3.0和clang 3.8.1-24，两个编译器都给了我同样的错误。

有人能让我知道这段代码有什么问题吗？

Answer 1

评论基本上回答了这个问题，但让我们把它全部包起来。

编译器的第一个挑战是解析getShared<a::A>(a);。现在这可能是operator<和operator>，但编译器first looks up getShared并注意到它是模板，因此<a::A>是模板参数列表

它也是一个函数模板，因此a是一个函数参数。此时，发生了一些复杂的事情。由于a的类型为a::A*，因此它具有关联的命名空间。编译器执行getShared的新名称查找，现在它知道它是带有参数和关联命名空间的函数。此第二次查找还会找到a::getShared。这也是一个函数模板，可以使用<a::A>进行实例化。（SFINAE可以排除它，但争论还可以）。

您现在有两个实例，重载解析并不能解决它们的歧义。

第二次查找的名称是 Argument Dependent Lookup ，如miradulo所述。

功能是模糊的，不是

1 个答案: