如何让两个模板类可隐式转换为彼此

Question

我最近遇到了导致 Microsoft Visual Studio 2013 编译器产生内部错误 (C1001: An internal error has occured in the compiler.) 的情况。

如果我们有头文件Foo.h:

#pragma once
#ifndef FOO_H
#define FOO_H

#include "Bar.h"

template <typename T>
class Foo {
public:
      operator Bar<T>() const
      {
          Bar<T> bar;

          for( unsigned int i = 0; i < 5; ++i )
               bar.m_tArray[i] = m_tArray[i];

          return bar;
      }

private:
      template <typename U>
      friend class Bar<U>;

      T m_tArray[5];
};

#endif // FOO_H

还有Bar.h：

#pragma once
#ifndef BAR_H
#define BAR_H

#include "Foo.h"

template <typename T>
class Bar {
public:
      operator Foo<T>() const
      {
          Foo<T> foo;

          for( unsigned int i = 0; i < 5; ++i )
               foo.m_tArray[i] = m_tArray[i];

          return foo;
      }

private:
      template <typename U>
      friend class Foo<U>;

      T m_tArray[5];
};

#endif // BAR_H

然后我可以通过实例化任一类来引发错误，例如：

int main() {
    Foo<int> foo;
}

我猜这个错误正在发生，因为每个类在它自己的定义中都引用了另一个类的定义，所以递归深度是无限的；但是，我不确定如何解决这个问题，因为我只能内联定义模板；我不能声明它们，然后在其他地方定义它们（当两个模板都被声明并且内部相互暴露时）。

Answer 1

您必须对模板类使用前向声明。示例：

template <typename T>
class Foo;

template <typename T>
class Bar {
      template <class U>
      friend class Foo;
public:
      operator Foo<T>() const
      {
          Foo<T> foo;

          for( unsigned int i = 0; i < 5; ++i )
               foo.m_tArray[i] = m_tArray[i];

          return foo;
      }

private:

      T m_tArray[5];
};

template <typename T>
class Foo {
      template <class U>
      friend class Bar;
public:
      operator Bar<T>() const
      {
          Bar<T> bar;

          for( unsigned int i = 0; i < 5; ++i )
               bar.m_tArray[i] = m_tArray[i];

          return bar;
      }

private:

      T m_tArray[5];
};


int main() {
    Foo<int> foo;
}