在模板中使用不完整的模板类型

Question

这是我几周前提出的一个问题的后续，其中的答案是，在模板中使用仅在模板实例化时完成但在模板实例化时不完整的类型是格式不正确的，不需要诊断。其定义的时间。

我的后续问题是，在不完整类型本身依赖于模板参数的情况下，这仍然成立吗？因为似乎事实并非如此。以下内容在 Godbolt 上的所有编译器中进行编译，即使只foo::do_stuff()使用了foo_wrapper::value()类模板foo_wrapper最终存在的前向声明。

#include <iostream>

template<typename T>
class foo_wrapper;

template<typename T>
class foo {
    foo_wrapper<T>& parent_;
public:
    foo(foo_wrapper<T>& wrapped) : parent_(wrapped)
    {}

    void do_stuff() {
        std::cout << "do stuff " << parent_.value() << "\n";
    }
};

template<typename T>
class foo_wrapper {
    foo<T> foo_;
    T value_;
public:

    foo_wrapper(T n) :
        foo_(*this),
        value_(n)
    {}

    void do_stuff() {
        foo_.do_stuff();
    }

    T value() const {
        return value_;
    }

};

int main()
{
    foo_wrapper<int> fw(42);
    fw.do_stuff();
}

Answer 1

这是合法的。

经验法则是，在实例化模板时，会检查依赖于模板参数的所有内容。其他所有内容要么在第一次看到模板时进行检查，要么在实例化模板时进行检查（例如，MSVC 倾向于较晚检查所有内容，而 Clang 倾向于尽早执行）。