修改

Question

我面临VS2010的奇怪问题。以下代码无法编译（同时为perfectly accepted by gcc）：

// Instantiate each type of a type array (which is a template<int>)
// void is taken as the end of the array
template<template<int> class A, int n = 0, typename obj_type = typename A<n>::type>
struct Instantiate : public Instantiate<A,n+1>
{
   obj_type object;

   Instantiate() : object() {}
};

template<template<int> class A, int n>
struct Instantiate<A,n,void>
{
};

// Does not compile
template<typename O>
struct test
{
   template<int n, bool=true> struct array { typedef void type; };
   template<int n> struct array2 { typedef typename array<n>::type type; };

   template<bool u> struct array<0,u> { typedef int type; };
   template<bool u> struct array<1,u> { typedef float type; };
   template<bool u> struct array<2,u> { typedef bool type; };

   Instantiate<array2> objects;
};

int main()
{
   test<int> obj;
}

出现以下错误：

C1202: recursive type or function dependency context too complex
see instanciation of class template 'Instantiate<A,n>'
with
[
    A=test<O>::array2,
    n=1
]
(and so on, up to n=497...)

使test成为非模板（即，删除行template<typename O>的juste）解决了错误。然而，尽管在这个简单的例子中有可能，但在我的代码中这是不可能的（这要复杂得多）。

问题是：

哪个是对，VS还是海湾合作委员会？或者它是VS错误？
在VS错误的情况下，是否有解决方法？

修改： - 从jerry的回答来看，它似乎是一个编译器错误......它已在VS2012上修复。 - 生成的类层次结构应为：

Instantiate<array2, 3, void> // end of recursion
      ^
      |
Instantiate<array2, 2, bool>
      ^
      |
Instantiate<array2, 1, float>
      ^
      |
Instantiate<array2, 0, int>

Answer 1

我可以在VS 2010（Microsoft (R) 32-bit C/C++ Optimizing Compiler Version 16.00.40219.01 for 80x86）中重现这一点，我相信这是一个错误。说实话，我很难绕过这里涉及的范围问题，但这似乎与手头的问题没有关系（因为基础模板和专业化嵌套在一起，VS抱怨递归级别，而不是一个未定义的符号）。无论如何，这是一个非常有趣的例子。我也在VS 2005中看到了相同的行为（Microsoft (R) 32-bit C/C++ Optimizing Compiler Version 14.00.50727.762 for 80x86）。似乎微软仍然没有接受关于VS 2010的错误报告（根据Microsoft Connect Visual Studio page和feedback form判断）。希望有权访问VS 2012的人能够测试您的原始代码并提交错误报告，如果问题尚未解决（我认为很可能，我认为之前没有任何迹象表明它已引起微软的注意）。

要解决此问题，请转发声明导致递归的类模板：

// Forward declaration of problematic inherited class template
template<template<int> class A, int n = 0, typename obj_type = typename A<n>::type>
struct Instantiate;

template<template<int> class A, int n>
struct Instantiate<A,n,void>
{
};

// Now compiles!
template<typename O>
struct test
{
    template<int n, bool=true> struct array { typedef void type; };
    template<int n> struct array2 { typedef typename array<n>::type type; };

    template<bool u> struct array<0,u> { typedef int type; };
    template<bool u> struct array<1,u> { typedef float type; };
    template<bool u> struct array<2,u> { typedef bool type; };

    Instantiate<array2> objects;
};

// Instantiate each type of a type array (which is a template<int>)
// void is taken as the end of the array
template<template<int> class A, int n, typename obj_type>
struct Instantiate : public Instantiate<A,n+1>
{
   obj_type object;

   Instantiate() : object() {}
};

int main()
{
    test<int> obj;
    return 0;
}

修改

Synxis，感谢rise4fun链接，这肯定会在以后派上用场。令人惊奇的是，虽然您的原始代码在VS2012 CTP中工作正常，但它仍然在VS2012 RTM中被破坏了！见http://rise4fun.com/Vcpp/aRh。为什么CTP是默认选项而非RTM超出我的范围。这个例子绝对是一个奇怪的例子。

Instantiate使用的库标题中是否还有test以外的内容？如果没有，用户可以明确地转发声明Instantiate模板定义test，然后包含您的标头。否则，您可以创建一个头文件，其中包含前向声明以及所需的其他内容。您很可能希望为受此问题影响的用户创建特殊的变通方法标头。这肯定会使事情变得非常混乱和容易出错（主要是由于默认的模板参数），但它会起作用：

<强> myLib_workaround_forward_declaration.hpp ：

#ifndef MYLIB_WORKAROUND_FORWARD_DECLARATION // or #pragma once if supported
#define MYLIB_WORKAROUND_FORWARD_DECLARATION 

// amount of error checking is up to you
// eg, are workaround header files mixed with the regular ones
// or included in the wrong order

template<template<int> class A, int n = 0, typename obj_type = typename A<n>::type>
struct Instantiate;

#endif

<强> myLib_workaround_implementation.hpp ：

#ifndef MYLIB_WORKAROUND_IMPLEMENTATION  // or #pragma once if supported
#define MYLIB_WORKAROUND_IMPLEMENTATION

// amount of error checking is up to you
// eg, are workaround header files mixed with the regular ones
// or included in the wrong order

template<template<int> class A, int n, typename obj_type>
struct Instantiate : public Instantiate<A,n+1>
{
   obj_type object;

   Instantiate() : object() {}
};

template<template<int> class A, int n>
struct Instantiate<A,n,void>
{
};
#endif

<强> userFile.cpp ：

// Forward declaration of problematic inherited class template
#include "myLib_workaround_forward_declaration.hpp"

// Now compiles!
template<typename O>
struct test
{
    template<int n, bool=true> struct array { typedef void type; };
    template<int n> struct array2 { typedef typename array<n>::type type; };

    template<bool u> struct array<0,u> { typedef int type; };
    template<bool u> struct array<1,u> { typedef float type; };
    template<bool u> struct array<2,u> { typedef bool type; };

    Instantiate<array2> objects;
};

#include "myLib_workaround_implementation.hpp"

int main()
{
    test<int> obj;
    return 0;
}

Answer 2

这不是错误，它是编译器配置。编译时堆栈的限制就像运行时堆栈一样。 IIRC在VS中编译时堆栈的最大深度为512.在文档中可能值得一试，也许它是可配置的，但不确定。

Answer 3

虽然搞乱了rise4fun和jerry的解决方法，但我发现将Instantiate 的整个定义放在 test 'solved' the problem内（请参阅jerry的答案有关VS2012CTP与VS2012RTM的更多信息）：

template<typename O>
struct test
{
    template<template<int> class A, int n = 0, typename obj_type = typename A<n>::type>
    struct Instantiate : public Instantiate<A,n+1>
    {
        obj_type object;
        Instantiate() : object() {}
    };

    template<template<int> class A, int n>
    struct Instantiate<A,n,void>
    {
    };

    template<int n, bool=true> struct array { typedef void type; };
    template<int n> struct array2 { typedef typename array<n>::type type; };

    template<bool u> struct array<0,u> { typedef int type; };
    template<bool u> struct array<1,u> { typedef float type; };
    template<bool u> struct array<2,u> { typedef bool type; };

    Instantiate<array2> objects;
};

int main()
{
   test<int> obj;
}

这对我的用例来说是完美的，因为它可以包含在用户已经使用过的宏中。

模板化的重复类型错误

3 个答案:

修改