考虑以下代码:
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>>
.
不幸的是,由于模板模板、部分特化和参数之间存在的依赖性,它们一起导致了一个难题,几个小时以来我一直在努力解决这个难题。
有什么巧妙的解决方案吗?
到目前为止,我已经能够用中间结构解决它,但我不太喜欢它......
最佳答案
部分特化不接受默认参数,但主特化可以。您可以将其添加到此处:
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;
};
关于c++ - 模板模板和部分特化 : a puzzle,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/35922566/