c++ - 模板模板和部分特化 : a puzzle

Question

考虑以下代码:

template<typename>
struct S { };

template<typename, typename>
struct B;

template <typename R, typename... Args, template<class> class C>
struct B<R(Args...), C<R>> {
    void f() { }
};

int main() {
    B<void(), S<void>> b;
    b.f();
}

编译没有问题。
无论如何，无论何时决定使用 B ，它必须提供两种类型。
我想要实现的是以某种方式默认第二个参数(我知道，部分特化不接受其参数的默认值)并让用户将其类型定义为 B<void()>而不是 B<void(), S<void>> .
不幸的是，由于模板模板、部分特化和参数之间存在的依赖性，它们一起导致了一个难题，几个小时以来我一直在努力解决这个难题。

有什么巧妙的解决方案吗？
到目前为止，我已经能够用中间结构解决它，但我不太喜欢它......

Answer 1

部分特化不接受默认参数，但主特化可以。您可以将其添加到此处:

template<typename Sig, typename X = S<return_type_t<Sig>>>
struct B;

然后您需要做的就是为签名实现一个返回类型元函数。像这样的东西:

template <class Sig>
struct return_type;

template <class Sig>
using return_type_t = typename return_type<Sig>::type;

template <class R, class... Args>
struct return_type<R(Args...)> {
    using type = R;
};