使用非类型变量模板进行运行时计算

Question

是否可以使用非类型变量模板进行运行时计算？

想象一下以下情况：

template<unsigned int... indexes>
struct s
{
   unsigned int getPosition(const unsigned int target) const;
};

s<2,5,0,7> obj;
std::cout << obj.getPosition(5) << std::endl; //< this should output 1
std::cout << obj.getPosition(2) << std::endl; //< this should output 0

getPosition方法应该返回给定整数在模板参数包中的位置。如果参数包中不存在给定的整数，则应生成错误（最好是在编译时）。

另外，我知道如果签名改为

template<unsigned int... indexes>
struct s
{
   template<unsigned int target>
   unsigned int getPosition() const;
};

不幸的是，这不是我的选择，因为方法应该是虚拟的。

Answer 1

您可以将索引转储到std:：array中，并使用std:：find。

struct s
{
   unsigned int getPosition(const unsigned int target) const {
       static std::array<int, sizeof...(indexes)> indexArray { indexes... };
       auto pos = std::find(std::begin(indexArray), std::end(indexArray), target);

       if (pos == std::end(indexArray)) {
           //handle error, probably an exception   
       }

       return std::distance(std::begin(indexArray), pos);
   }
};

如果target不存在，就不能生成编译时错误，因为只有在运行时才知道target。