c++静态编译带有可变数量或参数的函数

C++ static compilation of function with a variable number or arguments

本文关键字:参数 函数 编译 静态 c++      更新时间:2023-10-16

我发现自己写的代码是这样的:

template <class T>
inline bool allequal(T a,T b,T c) {return a==b&&a==c;}
template <class T>
inline bool allequal(T a,T b,T c,T d) {return a==b&&a==c&&a==d;}
template <class T>
inline bool allequal(T a,T b,T c,T d,T e) {return a==b&&a==c&&a==d&&a==e;}

我想知道是否有一种自动的方法来做到这一点,而不使用向量或可变参数,因为速度在这种情况下很重要。

你可以试试:

#include <iostream>
template< typename T >
inline bool allequal( const T& v )
{
  return true;
}
template< typename T, typename U, typename... Ts >
inline bool allequal( const T& v, const U& v1, const Ts&... Vs)
{
  return (v == v1) && allequal( v1, Vs... );
}
int main()
{
    std::cout << std::boolalpha;
    std::cout << allequal(1, 1, 1, 1) << std::endl;
    std::cout << allequal(1, 1, 2, 2) << std::endl;
    return 0;
}

在c++ 17中有一个建议,包含可变模板的自定义扩展,使用操作符可以避免这种递归和这种丑陋的(IMO)终止,因为只有一个参数是return true

#include <algorithm>
#include <iterator>
template <typename T, typename... Args>
bool allequal(T a, Args... rest)
{
    std::initializer_list<T> values = {a, rest...};
    return std::adjacent_find(begin(values), end(values), std::not_equal_to<T>()) == end(values);
}
演示工作

template<typename First, typename Second>
bool AllOf(First a, Second b)
{
    return a == b;
}
template<typename First, typename Second, typename... Rest>
bool AllOf(First a, Second b, Rest... r)
{
    return  a == b && AllOf(b, r...);
}

std::cout << AllOf(1, 1,1,1) << "n";
std::cout << AllOf(1, 1,2) << "n";
std::cout << AllOf(1,2) << "n";
std::cout << AllOf(1,1) << "n";