C++ 编译器无法找到函数（与命名空间相关）

Question

我正在使用 Visual Studio 2008 进行 C++ 编程作业。 我们提供了定义以下命名空间层次结构的文件（这些名称只是为了这篇文章的目的，我知道“命名空间 XYZ-NAMESPACE”是多余的）：

(MAIN-NAMESPACE){

      a bunch of functions/classes I need to implement...

      (EXCEPTIONS-NAMESPACE){

            a bunch of exceptions
      }

      (POINTER-COLLECTIONS-NAMESPACE){

            Set and LinkedList classes, plus iterators
      }
}

MAIN-NAMESPACE 内容被分割在一堆文件之间，并且一些我不明白操作员的原因<< 对于 Set 和 LinkedList 来说，它们完全位于 MAIN-NAMESPACE 之外（但位于 Set 和 LinkedList 的头文件内）。 这是 Set 版本：

template<typename T>
std::ostream& operator<<(std::ostream& os, 
                         const MAIN-NAMESPACE::POINTER-COLLECTIONS-NAMESPACE::Set<T>& set)

现在问题是：我有以下数据结构：

Set A
Set B
Set C
double num

它被定义为位于 MAIN-NAMESPACE 内的类中。 当我创建该类的实例并尝试打印其中一组时，它告诉我： 错误 C2679：二进制 '<<' ：找不到采用“const MAIN-NAMESPACE::POINTER-COLLECTIONS-NAMESPACE::Set”类型的右侧操作数的运算符（或者没有可接受的转换）

但是，如果我只编写一个 main() 函数，并且创建集合 A，填充它，然后使用运算符 - 它可以工作。

知道有什么问题吗？ （注意：我尝试了使用和包含我能想到的任何组合）。

Answer 1

奇怪的是，尽管将与类型关联的自由函数放入不同的命名空间是一种不好的做法，但全局命名空间声明始终是可见的。

我唯一能想到的是，在 MAIN-NAMESPACE 中具有相同名称的声明会隐藏全局命名空间中的声明 - 难道没有 operator<< ，可能是完全不相关的类型，在 MAIN-NAMESPACE 中？ 如果是这样，您应该通过在 MAIN-NAMESPACE 中使用 ::operator<< 声明来修复该问题。 例子：

namespace A
{
namespace B
{
  class C{};
}

}

void f(A::B::C*);

namespace A
{
  void f(int*); // try commenting
  using ::f; // these two lines
  void g()
  {
    B::C* c;
    f(c);
  }
}

Answer 2

好吧，我明白了。
jpalecek 关于存在另一个运算符的直觉<< 命名空间中的内容是正确的（显然我忘记将其注释掉）。

命名空间的查找规则首先在函数调用的命名空间中开始搜索，并搜索封闭的命名空间，一直到全局命名空间（如果未找到匹配项，则执行参数相关查找）。 然而，如果一路上它发现了一些与operator<<匹配的东西，它就会停止搜索，不管这些函数中使用的类型可能不兼容，就像这里的情况一样。

解决方案是将其包含到 MAIN-NAMESPACE 中（我不允许这样做），或者使用“using ::operator<<”从全局命名空间导入它。

Answer 3

尝试显式调用该函数？

::operator<<( cout, myObj );

Answer 4

正如 SoaBox 指出的那样，尝试显式调用它。

供您参考，如果您希望调用隐藏在当前命名空间中的全局函数，请在函数前面添加 :: 以绕过本地函数并调用全局函数。

Answer 5

尝试显式调用该函数？

::运算符<<( cout, myObj );

是的，那确实有效！

它将尝试在以下位置找到 f 函数
当前命名空间（位于
调用）或在封闭的命名空间中
c1 和 c2 类型（命名空间1，
命名空间2::命名空间3)，但它会
不要尝试中的其他命名空间
搜索。

那么让我们看看我是否正确：调用运算符<< 的原因 从 main() 函数起作用是因为我位于全局名称空间中（就像运算符<<）。
从我实现的类调用时失败的原因是该类位于非全局命名空间中，并且其中没有将编译器指向全局命名空间的变量。

Answer 6

好的，人们要求提供具体的示例，所以这里是代码的相关部分。
//免责声明：在极少数情况下，我大学的某人看到了这一点，在提交文件中遇到了它，并决定我复制了它或其他东西，我的学号是311670137

这是头文件Set.h：

   namespace MTM {//This is the MAIN-NAMESPACE

    namespace PointerCollections {

        (ITERATORS AND PREDICATE CLASSES)

        template<typename T>
        class Set {
        public:

        /////////////////////////////////
        // Definitions
        /////////////////////////////////

        private:

        /////////////////////////////////
        // Definitions
        /////////////////////////////////

        };


///////////////////////////////////////////////////////////////////////////////
// The implementation part. 
///////////////////////////////////////////////////////////////////////////////
      }
}
// operator<< - the same a Set::print(std::ostream& os,
//                                    const BinaryPredicate<T>& predicate) 
// function called with the 'predicate' parameter omitted
template<typename T>
std::ostream& operator<<(std::ostream& os, 
                         const MTM::PointerCollections::Set<T>& set){

    set.print(os);
    return os;
}

这是我在中定义的另一个文件：

namespace MTM {
    using std::ostream;

    class Schedule {
    public:
      ///////////////////
      //Definitions, including: 
      ///////////////////
    void registerStation(string stationName);
    void reportRegisteredStations(std::ostream& outputStream) const;

    private:     //My database
               //All the classes Set recieves are defined elsewhere
        Set<RegisteredStation> places;
        Set<BusLine> busses;
        Set<TrainLine> trains;
        double tarifForBuses;
        double tarifForTrains;
    };

}

这是来自主文件的：

Schedule s();
s.registerStation("1");
s.reportRegisteredStations(cout);//This invokes the error. Definition follows:

reportRegisteredStations 定义为：

void Schedule::reportRegisteredStations(std::ostream& outputStream) const{

        outputStream<<places;
    }

Answer 7

这对我有用

#include <iostream>
#include <string>
using std::string;

   namespace MTM {//This is the MAIN-NAMESPACE

    namespace PointerCollections {

        template<typename T>
        class Set {
        };


      }
}
template<typename T>
std::ostream& operator<<(std::ostream& os, 
                         const MTM::PointerCollections::Set<T>& set){

    return os;
}

namespace MTM {
    using std::ostream;
  using PointerCollections::Set;
    class Schedule {
    public:
      ///////////////////
      //Definitions, including: 
      ///////////////////
    void registerStation(string stationName);
    void reportRegisteredStations(std::ostream& outputStream) const;

    private:     //My database
               //All the classes Set recieves are defined elsewhere
        Set<int> places;
        Set<int> busses;
        Set<int> trains;
        double tarifForBuses;
        double tarifForTrains;
    };
void Schedule::reportRegisteredStations(std::ostream& outputStream) const{

        outputStream<<places;
    }

}

int main()
{
  MTM::Schedule s;
  s.reportRegisteredStations(std::cout);
}

Answer 8

更正：以下文本基于 g++ 系列编译器的经验。 在对答案发表评论后，我重新阅读了标准（其中规定 ADL 将用于常规名称查找，并且常规名称查找应该找到运算符<<）。 我还尝试过 comeau 编译器（我所知道的最符合标准的编译器）并找到了符号。 这似乎是 g++ 的问题（尝试过版本 3.3、4.1、4.3）。

原始答案：

搜索Koening查找（技术上ADL：参数依赖查找）。

简短的答案是，如果您有以下类：

namespace test {
    class A {};
}

流插入运算符应定义为：

namespace test {
    std::ostream& operator<<( std::ostream&, A const & );
}

函数或运算符应定义在与其所采用的参数之一相同的命名空间中。 (*)

当编译器找到函数调用时，例如：

namespace test2 {
   void g() {
      namespace1::class1 c1;
      namespace2::namespace3::class2 c2;
      f( c1, c2 );
   }
}

它将尝试在当前命名空间（调用位置）或 c1 和 c2 类型的封闭命名空间中查找 f 函数（ namespace1,namespace2::namespace3)，但它不会在搜索中尝试其他命名空间。

(*) 在这种情况下，您几乎只能使用 test 命名空间，因为不允许您向 std 命名空间添加函数（仅限模板特化）。

原始帖子结束。

即使如之前所述，这可能只是编译器的问题，但这是常见用法，建议在与类型本身相同的命名空间中定义对用户定义类型进行操作的所有自由函数。