运算符的两阶段查找<<

<< 我正在上的课。出于某种原因,我将它分成两个函数,并从另一个函数调用一个函数。切换到模板后,它不再工作。在查找问题之后,我发现 two stage lookup 和 some reasoning 在它后面。

基本上,我想做的是:

template <typename Foo, typename Bar>
class MyClass {
public:
  using foo_t = Foo;
  using bar_t = Bar;

  bar_t some_func() const { /* do something */ }
};

/* Level 2 operator */
template <typename Foo, typename Bar>
std::ostream& operator<<(std::ostream& out, const typename MyClass<Foo,Bar>::bar_t& bar) {
  return out << some_other_func(bar);
}

/* Level 1 operator calls level 2 operator */
template <typename Foo, typename Bar>
std::ostream& operator<<(std::ostream& out, const MyClass<Foo,Bar>& myClass) {
  return out << myClass.some_func();
}

不幸的是,由于 bar_t 是依赖的,这不会编译,这使我将级别1运算符更改为以下值:

template <typename Foo, typename Bar>
std::ostream& operator<<(std::ostream& out, const MyClass<Foo,Bar>& myClass) {
  return operator<<<Foo,Bar>(out,myClass.some_func());
}

现在,这可以说不是很美,在我看来,抹去了 << 接线员。

除了不拆分两个运算符的明显解决方案之外,有没有人对此有一个好的解决方案?