我有从另一个源代码。其余的代码运行良好。我正在尝试使用以下代码附加到元组:
// Because std::make_tuple can't be passed
// to higher order functions.
constexpr struct MakeTuple
{
template< class ...X >
constexpr std::tuple<X...> operator () ( X ...x ) {
return std::tuple<X...>( std::move(x)... );
}
} tuple{};
constexpr struct PushFront
{
template< class ...X, class Y >
constexpr auto operator () ( std::tuple<X...> t, Y y )
-> std::tuple< Y, X... >
{
return std::tuple_cat( tuple(std::move(y)), std::move(t) );
}
} pushFront{};
template <template <typename...> class T, typename... Args, typename... Obs>
T<Obs...> MakeSubject(std::tuple<Obs ...> &&obs, Args&& ... args)
{
return T<Obs...>(std::move(obs), args...);
}
template <template <typename...> class T, typename... Args, typename... Obs>
std::tuple<T<Obs...>> Store(std::tuple<Obs ...> &&obs, Args&& ... args)
{
return std::make_tuple(T<Obs...>(std::move(obs), args...));
}
template <typename Base> class Observer
{
}
class Printer : public Observer<Printer>
{
}
template <typename T, typename... Obs> class Subject
{
private:
std::tuple<Obs &...> observers;
}
template <typename... Obs>
class Pressure : public Subject<Pressure<Obs...>, Obs...>
{
}
std::ostream& operator << (std::ostream& out, const Printer& ac)
{
//stuff
return out;
}
我有这样一个循环外的代码:
const Printer sentinel;
auto store = Store<Pressure>(std::move(std::tuple<Printer>(sentinel)), fakePressure); // The first one is just a delimiter
问题是,在循环中,当我试图通过说:来附加以存储元组时
while(true) // A Demo loop
{
auto subject = MakeSubject<Pressure>(std::move(obs), q);
pushFront(store, subject.Observers()));
std::cout << store; // Always empty
std::cout << pushFront(store, subject.Observers()); // This works and shows whatever I passed in, but the list of tuples doesn't grow from previous appends.
}
存储不会因为添加越来越多的std::元组而增长。我希望元组的pushFront语义类似于std::vector等的push_back。
有什么建议吗?
PushFront::operator()
返回一个新元组,该元组后面跟有一个附加项,后面跟给定元组中的项。它不会附加到传入的。
由于N+1
元素的tuple
与N
元素的tuple
是不同的C++类型,因此不可能推入现有的类型。