使用定义相互依赖

Question

我有一些相互依赖的模板实例。通常我只是转发声明它们，但我不明白这是怎么可能的。这是一个例子

#include <tuple>
#include <memory>

using Tuple = std::tuple<int,TupleContainer>;
using TupleContainer = std::unique_ptr<Tuple>;

int main()
{
    return 0;
}

因为需要TupleContainer，不能先写Tuple，因为需要Tuple，不能先写TupleContainer。

如何转发声明其中一个使用定义？

Answer 1

你在某处需要一个真正的指针，就像你尝试定义递归结构一样，它会失败，因为它无法停止。

using my_tuple = std::tuple<int, std::tuple<int>*>;

Answer 2

我设法通过在 std::tuple 周围使用薄包装 class 并使用前向声明来做到这一点。

#include <tuple>
#include <memory>

struct Tuple;
using TupleContainer = std::unique_ptr<Tuple>;

struct Tuple : public std::tuple<int,TupleContainer>{
    using std::tuple<int,TupleContainer>::tuple;
};

int main()
{
    return 0;
}

使用定义相互依赖

Mutually dependant using definitions

c++

templates

using

visual-c++

c++17