C ++中的空尖括号

debugcn 发表于 Dev

MOOH

探索RxCpp库时，遇到了以下无法解释的示例。

    auto ints = rxcpp::observable<>::create(
        [](rxcpp::subscriber<int> s){
            s.on_next(1);
            s.on_next(2);
            s.on_completed();
    });

库中有两个observable类声明：

template<class T, class SourceOperator>
class observable
    : public observable_base<T>
{
// ...
};

template<>
class observable<void, void>
{
// ...
};

我无法理解的是编译器如何设法接受rxcpp::observable<>.片段。除了以外，可能还有许多observable针对不同类型的显式专业化工具void,void。

问题是编译器如何解释此代码中的空尖括号： rxcpp::observable<>.

我在observable类中没有看到默认的模板参数，也没有可以解释这一点的可变参数模板参数。

然后我认为它与显式模板专业化有某种联系，并尝试在一个隔离的程序中重现它，例如这样

namespace isolated {
  template<class T>
  class Test {
  public:
    static void say() {
      cout << "I am generic" << endl;
    }
  };

  template<>
  class Test<int> {
  public:
    static void say() {
      cout << "I am integer" << endl;
    }
  };
}

int main() {
  isolated::Test<>::say(); // ERROR: too few arguments for class template.....
}

但是，即使只有一个显式的专业化，它也不会编译。

内森·奥利弗

你所缺少的是

template<
     class T = void,
     class SourceObservable = typename std::conditional<std::is_same<T, void>::value,
         void, dynamic_observable<T>>::type>
 class observable;

来自rx-predef.hpp的142-146行

该前向声明为observable该类提供默认模板参数，并允许您编写observable<>将使用这些默认值的模板参数。在您的示例中，可以通过添加

template<class T = int>
class Test;

这给你

namespace isolated {
  template<class T = int>
  class Test;

  template<class T>
  class Test {
  public:
    static void say() {
      cout << "I am generic" << endl;
    }
  };

  template<>
  class Test<int> {
  public:
    static void say() {
      cout << "I am integer" << endl;
    }
  };
}

int main() {
  isolated::Test<>::say(); // ERROR: too few arguments for class template.....
}

和输出