c++ - 铛。嵌套模板的二元运算符重载

Question

我正在尝试使用 clang 为嵌套模板类重载二元运算符 + 并得到错误 invalid operands to binary expression。注意:候选模板被忽略:无法推断模板参数 T。像这样的东西:

template<typename T>
class Container
{
  struct Iterator {
    template<typename U>
    friend typename Container<U>::Iterator operator+(size_t, typename Container<U>::Iterator const&);
   };
};

template<typename U>
typename Container<U>::Iterator
operator+(size_t, typename Container<U>::Iterator const&)
{
  return Container<U>::Iterator{};
}

有没有办法使用 clang 编译器为嵌套模板类重载二元运算符？

可以使用C++17。

Answer 1

不要使内部函数成为模板。只需将其设为非模板非成员 friend 并内联定义即可:

template<typename T>
class Container
{
  struct Iterator {
    friend Iterator operator+(size_t, Iterator const&) {
      return {};
    } 
  };
};

这适用于 C++11。 C++03 如果您不在返回中使用 {}。