将指针存储到元组中的参数包的副本

Question

我想在 tuple 中存储的指示 参数包参数。这是代码：

struct FDead {};
struct FAlive {};

struct FBossDead final : FDead {};
struct FBossAlive final : FAlive {};

template<typename... TStates>
struct TContext
{
    using FTuple = std::tuple<TStates*...>;
    
    template<typename... TSubStates>
    explicit TContext(TSubStates&&... InStates)
    {
        static_assert(sizeof...(TStates) == sizeof...(TSubStates));

        // FIXME: Check if TSubStates are actually sub-types of TStates
        //static_assert(((std::is_base_of_v<TStates, TSubStates> || ...) && ...));
    
        States = FTuple{(new TSubStates{ InStates }, ...)};
    }
    
    FTuple States;
};

void Test()
{
    TContext<FAlive, FDead> Context
    {
        FBossAlive{},
        FBossDead{}
    };
}

如您所见，fbossdead扩展了fdead，fbossalive扩展了falive> falive。 tcontext是用基本类型作为模板参数创建的代码>元组。

不过，我遇到了此汇编错误：

[C2440] '<function-style-cast>': cannot convert from 'initializer list' to 'std::tuple<PCF::SubClass::FAlive *,PCF::SubClass::FDead *>'

我相信这是因为此折叠表达式：

(new TSubStates{ InStates }, ...)

评估initarizer_list，而不是元组（由于逗号，我相信），但我不知道如何修复这个问题。任何帮助将不胜感激！

NB我需要存储副本，我无法更改构造函数签名以接受一包指针。

Answer 1

您在这里不需要折叠表达式。常规参数包扩展将可以很好地解决问题。

另外，尽管对于发布的示例并不是严格必要的，但是使用std :: forward＆lt;＆gt;在处理转发参考时（哪个intates is）是一个很好的习惯进入。

States = FTuple{ new TSubStates{ std::forward<TSubStates>(InStates) }... };

但是您不妨在初始化列表中执行此操作：

template<typename... TSubStates>
explicit TContext(TSubStates&&... InStates)
    : States{ new TSubStates{ std::forward<TSubStates>(InStates) }... } {

  // FIXED: Check if TSubStates are actually sub-types of TStates
  // But this is redundant, as the pointer assignment itself would fail.
  static_assert((std::is_base_of_v<TStates, TSubStates> && ...));
}