3

我正在使用 Code::Blocks 在 C++ 中使用可变参数模板测试一个想法，当我尝试编译它时，构建失败并说：

'
in dependent_type_p, at cp/pt.c:19367
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://tdm-gcc.tdragon.net/bugs> for instructions.
Process terminated with status 1 (0 minute(s), 1 second(s))
0 error(s), 0 warning(s) (0 minute(s), 1 second(s))

我按照说明提交了一份错误报告，但同时我想知道我是否需要修复我的代码或获得新的编译器。我写的代码是：

#include <iostream>
#include <array>
using namespace std;

struct Foo1
{
    struct init {};
};

struct Foo2 : public Foo1
{
    struct init{};
};

struct Foo3 : public Foo2
{
    struct init{};
};

template <typename... Args>
void Bar(typename Args::init... args)
{
    array<void*, sizeof...(Args) + 2> t = {nullptr, &args..., nullptr};
    for (size_t x = 1; x < sizeof...(Args) + 1; ++x)
        cout << t[x] << endl;
}

int main()
{
    Foo1::init a;
    Foo2::init b;
    Foo3::init c;
    Bar<Foo1, Foo2, Foo3>(a, b, c);
}

如果我手动扩展Bar为：

template <typename A, typename B, typename C>
void Bar(typename A::init a, typename B::init b, typename C::init c)
{
    array<void*, 5> t = {nullptr, &a, &b, &c, nullptr};
    for (size_t x = 1; x < 4; ++x)
        cout << t[x] << endl;
}

该错误是由可变参数模板引起的，但我根本不明白。我犹豫要不要问，因为我们应该指定确切的问题，但编译器所说的只是依赖类型。

4

1 回答 1

0

这是 GCC 4.7 中的一个（显然未报告的）错误（该代码也会导致 GCC 4.5 和 4.6 进入 ICE，但以不同且更有趣的方式，即Internal compiler error: Error reporting routines re-entered.）。

如果其他人遇到此问题 - 只需升级到已修复的 GCC 4.8 或更高版本。

于 2015-12-14T18:59:22.957 回答