在编译时选择一个变量

Question

我希望能够通过布尔指定我需要在编译时使用哪两个变量，所有这些都没有直接的SFINAE 。 只有一个函数，类似于std::conditional但不返回类型。

因此，例如在课堂test ，我想拥有

class test
{
    template <class T, bool first, MAGIC_HAPPENS var>
    void apply_it(T &t)
    {
        for (auto &p : var) p.apply(t);
    }

    std::vector<myfunction> var1;
    std::vector<myfunction> var2;
}

使用很简单：如果我指定first == true那么它应该应用var == var1的循环，否则var == var2 。

可能吗？

Answer 1

只是为了好玩（*），对当前代码片段的最小 C ++ 17（**）修改可能是

class test
{
    std::vector<myfunction> var1;
    std::vector<myfunction> var2;

    template <class T, bool first, std::vector<myfunction> test::*var = first ? &test::var1 : &test::var2 >
    void apply_it(T &t)
    {
        for (auto &p : this->*var) p.apply(t);
    }
};

---

（*）我认为没有哪种情况比其他建议的解决方案更可取...

（**）据我所知，由于模板非类型指针参数的链接要求，这需要C ++ 17 ...

Answer 2

对于C ++ 17及以上版本：

class test
{
    template <class T, bool first>
    void apply_it(T &t)
    {
        if constexpr (first)
        {
            for (auto &p : var1) p.apply(t);
        }
        else
        {
            for (auto &p : var2) p.apply(t);
        }
    }

    std::vector<myfunction> var1;
    std::vector<myfunction> var2;
}

if constexpr在编译时被评估，如果条件是constexpr，则模板参数就是这种情况。

Answer 3

您可以在C ++ 11中使用指向数据成员的指针执行此操作：

class test
{
    template <class T, bool first>
    void apply_it(T &t)
    {
        constexpr auto var = first ? &test::var1 : &test::var2;
        for (auto &p : this->*var) p.apply(t);
    }

    std::vector<myfunction> var1;
    std::vector<myfunction> var2;
}

Answer 4

template<std::size_t I, class...Args>
decltype(auto) pick( Args&&... args ) {
  return std::get<I>( std::forward_as_tuple( std::forward<Args>(args)... ) );
}

pick在编译时从列表中选择一些东西。

class test
{
  template <bool first, class T>
  void apply_it(T&& t)
  {
    auto&& var = pick<first?0:1>(var1, var2);
    for (auto&& p : var)
      p.apply(t);
  }

  std::vector<myfunction> var1;
  std::vector<myfunction> var2;
};

我复制粘贴时也做了一些小的改进。