Question

为什么以下代码有效？ struct test包含一个test向量，因此代码为compiles (IDEOne)：

#include <iostream>
#include <vector>

using namespace std;

struct test {
    vector<test> a;
};

int main() {
    // your code goes here
    test t;
    if (t.a.size() > 0)
        return -1;
    else if (t.a[0].a[0].a.size() > 0)
        return 1;
    return 0;
}

编译器如何处理结构，以便可以测试t.a[0].a[0].a.size()？我重复.a[0]的频率是否有限制？

编辑：此问题的答案声称这是未定义的行为：Are C++ recursive type definitions possible, in particular can I put a vector<T> within the definition of T?

=＆GT;这令人困惑

=＆GT;也许我的问题是重复的

Answer 1

归结为vector<T>不需要知道类型T占用的值的大小，这允许T是不完整的类型。从本质上讲，这里的机制与本声明中的机制相同：

struct test {
    test* start;
    test* end;
};

编译器声明指向任何类型的指针没有问题，只要您承诺稍后定义它。

此行为会根据模板发生变化：使用test定义vector<T>没有问题，但array<T,Size>甚至pair<T,K>会有问题：

struct broken1 {
    array<broken1,3> a; // Does not compile
};
struct broken2 {
    pair<broken2,broken2> p; // Does not compile
};

C ++递归类型定义

1 个答案: