c++可变模板函数的非递归化实现
在C++primer p618中介绍了递归实现的版本,主要的形式:
template<typname ARGS>
void print(const T&t,const ARGS&... rest)
{
print(t);
print(t,rest...);
}
template<typename T>
void print(const T& t)
{
}
这样的写法又长又臭,有没有更简便的方法呢?
比如我想用openssh的sha进行哈希,其主要过程是
SHA256CTx ctx;
CTXINIT(&ctx);
CTXUPDATE(&ctx,(const void*)data,bytesize);
...
CTXFINLIZE(&result,&ctx);
假如我有多个类型要一起进行哈希的数据,比如int,long,vector,string。如何优雅的写出模板函数呢:(假定已看过effective modern c++里的标签分派 p176)
auto result=computeHash(int,long,vector,string...);
可以利用逗号表达式与initializer_list。
C/C++语言中的逗号表达式:a=(b+c,d),其结果是a=d。依次求值,并取最后一个表达式的结果为最终值。
initializer_list:要求内容在编译期就已知,选这个我感觉是有点无奈,C++应该有更优雅的方式来实现非递归模式的。
下面上代码:
#include <bits/stdc++.h>
#include <openssl/sha.h>
using namespace std;
using HashType = array<uint8_t, SHA256_DIGEST_LENGTH>;
template <typename... ARGS>
HashType computeHash(const ARGS &...args)
{
SHA256_CTX ctx;
SHA256_Init(&ctx);
std::initializer_list<int>{(internalCompute(&ctx, args, std::is_arithmetic<std::decay_t<ARGS>>()), 0)...};
HashType result;
SHA256_Final(result.data(), &ctx);
return result;
}
template <typename T>
void internalCompute(SHA256_CTX *ctx, const T &data, std::true_type)
{
const void *underlying = static_cast<const void *>(&data);
SHA256_Update(ctx, underlying, sizeof(T));
}
template <typename T>
void internalCompute(SHA256_CTX *ctx, const T &container, std::false_type)
{
using DataType = typename T::value_type;
const void *underlying = static_cast<const void *>(container.data());
size_t size = container.size() * sizeof(DataType);
SHA256_Update(ctx, underlying, size);
}
int main(int argc, char **argv)
{
std::string test1 = "123456";
uint8_t a = 1;
uint64_t b = 2;
auto hash = computeHash(test1, a, b);
}
可以注意到
std::initializer_list<int>{(internalCompute(&ctx, args, std::is_arithmetic<std::decay_t<ARGS>>()), 0)...};
这个句子才是最为关键的,对每个模板参数依次compute,并依照是否是容器还是数值进行标签分派。因为扩展" ... "在括号外,所以也可以看成:
compute(&ctx,arg1,ARG1);
compute(&ctx,arg2,ARG2);
...
完美!!!