模板向后兼容 gcc 4.7

Question

取如下代码sn-p：

struct whatever {};

template < template <typename, typename> class FOX, typename bat>
struct wulf {};

template <typename A, typename B, typename C = whatever>
struct box;

template <typename A, typename B>
struct box<A, B, whatever> {};

template <typename A, typename B, typename C>
struct box : wulf<box, C> {};

int main(void)
{
return 0;
}

在 gcc 4.1.2 下编译正常，但在 gcc 4.7.2 下编译时出现以下错误：

main.cpp:14:25 error: type/value mismatch at argument 1 in template parameter list for 'template<template<class,class> class FOX, class bat> struct wulf'
main.cpp:14:25 error: expected a template of type 'template<class, class> FOX', got 'template<class A, class B, class C> struct box'

这是最小的示例代码 sn-p，我似乎能够重现此错误，但我不知道发生了什么。为什么代码被拒绝，是否有正确的方法可以在两者下编译？

Answer 1

您的wulf 类模板接受一个接受两个类型参数的类模板作为其第一个模板模板参数。

在这里，您尝试提供一个接受 三个 类型参数的类模板 (box) 作为相应的参数：

template <typename A, typename B, typename C>
struct box : wulf<box, C> {};
//                ^^^

这是非法的。是否为box 类模板的第三个类型参数指定默认类型参数无关紧要：模板参数的类型和数量必须完全匹配。

要解决此问题，请更改 wulf 类模板的定义，如下所示：

template < template <typename, typename, typename> class FOX, typename bat>
//                                       ^^^^^^^^
struct wulf {};

这是一个live example，显示您的代码使用上述修复程序进行编译。

Answer 2

使用C++11，可以将wulf改成：

template < template <typename...> class FOX, typename bat>
struct wulf {};

虽然 GCC 4.1 不会接受它，但我担心......

---

我有时使用的另一个技巧：为box 添加一个包装类：

struct whatever {};

template < template <typename,typename> class FOX, typename bat>
struct wulf {};

template <typename A, typename B, typename C = whatever>
struct box;

template <typename A, typename B>
struct box<A, B, whatever> {};

template <typename A, typename B>
struct box2 : box<A, B> {};

template <typename A, typename B, typename C>
struct box : wulf<box2, C> {};

int main(void)
{
    return 0;
}

我不知道这（在 wulf 中丢失 box 的第三个参数）是否对您来说是个问题，但我过去有一些用例，这种技术有所帮助。