Question

我使用可变参数实现了以下模板函数，但是在使其更通用方面遇到困难。我正在使用MS VS C ++ 2017。

此函数实质上检查整数值是否为int templates参数提供的值之一。理论上应该等效于逻辑或列表。

template<int TFirst, int...TArgs>
constexpr bool foo(int&& a)
{
    if constexpr (sizeof...(TArgs) > 0)         
        return a == TFirst || foo<TArgs...>(std::forward<int>(a));    
    return a == TFirst;
}

int iii = 3;
assert(foo<1, 2, 3>(std::forward<int>(iii)); // ok!

我想使用其他数字类型（例如double或class枚举甚至对象）使此函数更加通用。

我尝试了以下代码。它使用整数构建，但不使用双精度。

 template<typename T>
 struct check
 {
     template<T TFirst, T...TArgs>
     static constexpr bool foo(T&& a)
     {
         if constexpr (sizeof...(TArgs) > 0)
            return a == TFirst || foo<TArgs...>(std::forward<T>(a));
         return a == TFirst;
     }
 };

// test
int iii = 3;
double ddd = 4.0;

check<int>::foo<1, 2, 3>(std::forward<int>(iii));  // ok
check<double>::foo<1.0, 2.0, 3.0>(std::forward < double >(ddd )); // non ok

双精度错误是

 error C2993: 'T': illegal type for non-type template parameter 'TFirst'
 error C2672: 'check<double>::foo': no matching overloaded function found

是否可以通过某种方法或更好的方法来使我的函数更通用？

泛化模板函数时出错

0 个答案: