我偶然发现了看起来像这样的旧代码：
void dothing(bool testBool,const std::string& testString1,const std::string& file,int line,const std::string& defaultString = "")
{
// do something...
}
void dothings(bool testBool,const std::string& testString2,const std::string& defaultString = "")
{
dothing(testBool,testString1,file,line,defaultString);
dothing(testBool,testString2,defaultString);
}
void dothings(bool testBool,const std::string& testString3,const std::string& defaultString = "")
{
dothings(testBool,defaultString);
dothing(testBool,testString3,const std::string& testString4,defaultString);
}
这很荒谬,我试图将其重构为：
void dothings(bool testBool,std::initializer_list<std::string> testStrings,const std::string& defaultString = "")
{
for(auto iter = testStrings.begin(); iter != testStrings.end(); ++iter)
{
dothing(testBool,*iter,defaultString);
}
}
问题是这些函数被大量使用,我想编写一个宏或模板,以便所有以前的函数构造所有测试字符串的字符串的初始化列表,并将它们传递给一个新函数.我想写这样的东西：
#define dothings(testBool,(args),line) dothings(testBool,{args},line)
我并不关心这些函数中的默认字符串,但是如果有一种方法可以支持它,那就太棒了.
我可以访问c 11编译器并仅提升.
我无法重新排序这些函数的参数.
我看过一些关于变量参数宏的有趣帖子,但它并没有点击如何将它们应用于这种情况.
解决方法
这只是可能的解决方案之一,可以改进以检测最后是否存在额外的默认字符串(通过一些其他元编程技术与SFINAE一起).这个利用
indices trick将参数列表分成两个子序列：一个用于三个尾随参数,一个用于字符串本身.最终,每个字符串与其余参数配对,对函数dothing的调用是
expanded.
void dothing(bool testBool,const std::string& str,const std::string& defaultString)
{
// processing of a single str
}
template <typename... Args,std::size_t... Is>
void dothings(bool testBool,std::index_sequence<Is...>,Args&&... args)
{
auto tuple = std::make_tuple(std::forward<Args>(args)...);
using expander = int[];
static_cast<void>(expander{ 0,(dothing(testBool,std::get<Is>(tuple),std::get<sizeof...(Args)-3>(tuple),std::get<sizeof...(Args)-2>(tuple),std::get<sizeof...(Args)-1>(tuple)),0)... });
}
template <typename... Args>
void dothings(bool testBool,Args&&... args)
{
dothings(testBool,std::make_index_sequence<sizeof...(Args)-3>{},std::forward<Args>(args)...);
}
