也谈可变参数

[lidongri]

最近，自己搞了个小程序。要用到可变参数
为方便以简单代码陈列如下：
template <class T>
T t_Max(const T& arg, ...)
{
va_list arg_ptr;
va_start(arg_ptr, arg);
T data = arg
while (data != (T)(NULL))
{
data = va_arg(arg_ptr, T);
...//使用“<”比较代码，略
}
va_end(arg_ptr);
return data;
}
这个函数想实现求最大值
普通类型比如：
cout<<t_Max('1', '2', '4', '3');
cout<<t_Max(1, 3, 55, 3, 45);
都能够调试通过

而其他类型，例如，重载过<运算符的自定义类就不可以，必须指定参数的结束标志
class User
{
public:
......
};
User a, b, c, d;
User t = t_Max(a, b, c, d, NULL);
必须手动添加上。
使用宏定义，#define MAX(argv) (t_Max(argv##, NULL))
也是不行的，看似正确，仔细分析就不对了
请教各位，如果如何实现这样
t_Max(T const& arg, ...)
{
}

Max(T const& arg, ...)
{
return t_Max(arg, ..., NULL);
}
怎样实现类似的功能。
欢迎讨论

[taodm]

有必要搞可变参数么，放入一个数组/vector，在数组里搜索最大值就可以了。

[www_adintr_com]

没有结束参数你能通过纯属巧合，是危险的

[lidongri]

taodm(（不能收CSDN社区短信息，请莫浪费精力）)
有必要搞可变参数么，放入一个数组/vector，在数组里搜索最大值就可以了。
--
我想实现任意类型的最大值求解
其实，这个问题不是工作上的，只是我自己想解决的而已

[taodm]

stl里的max_element不就是可以对任意类型取最大值的东西么。

[飞哥]

鼓励一下

当然了,能走捷径尽量少绕弯路,这是原则[用最简单的方法解决最复杂的问题]
当然处于兴趣搞搞,无可厚非

[lidongri]

max_element，我知道这个
其实自己就是想把可变参数的技术学会
求最大值只是个例子
有可能是其他的
实现的关键在于
t_Max(a, ...);
Max(a, ...)
{
return t_Max(a, ..., NULL);//这种写法是不对的，但我想实现这个功能
}

[taodm]

对C++类型尤其是引用，使用va_list，行为恐怕是未定义的。
(T)(NULL)，NULL强转为T的成功可能性也是几乎不成立的。
不定参数是没有类型检查的，传的还是拷贝。
你完全可能写t_Max(a, &a, 1, 'c', "this is a test")
所以，在C++里不要使用不定参数。在C里也是不该使用不定参数。
不要太浪费时间于此。

[lidongri]

嗯，大哥分析的有道理
谢谢了

欢迎其他朋友讨论，下班前揭帖

[taodm]

当然，颇有时候你又不想创建一个临时vector什么的。
boost和loki这2个顶级库的做法是相同的：提供1～15个参数的一共15个重载版本。

[lidongri]

boost和loki这2个顶级库的做法是相同的：提供1～15个参数的一共15个重载版本。
---
这种做法感觉不爽
有局限
比如我要100个参数呢？？

[taodm]

那就要考虑你程序的整体设计或者代码质量了！！！

[wswqwps]

同时传递100个参数貌似函数设计的结构有问题

[珍惜生命远离CPP]

还是用max_element方便一些.
可变参数进栈的时候,无法预料是什么进去了.

[lidongri]

还是用max_element方便一些.
可变参数进栈的时候,无法预料是什么进去了.
---
对，是这样的
可变参数有时候就是这么可恨

[longshanks]

boost库的format提供了一种可变参数函数的替代方案：
string s=format("i am {0}, you are {1}...") % "i" % "you";
这种方法通过重载%操作符实现任意长度的类型安全的printf。同样的原理可以用在其他地方。
不过，类型安全可变参数函数的终极解决方案还是可变类型参数的模板：
template<typename... Args> void eat(Args... args);
这个特性有望进入下一个C++标准（C++0x）中。
期待中...

[longshanks]

下面的文字和代码摘自C++提案《Variadic Templates (Revision 3)》（N2080），演示了如何使用可变模板参数实现类型安全的printf()：
Variadic function templates allow us to express a type-safe printf() that works for non-POD types. The following code uses variadic templates to implement a C++-friendly, type-safe printf():
void printf(const char* s) {
while (*s) {
if (*s == ’%’ && *++s != ’%’)
throw std::runtime error(”invalid format string: missing arguments”);
std::cout << *s++;
}
}
template<typename T, typename... Args>
void printf(const char* s, T value, Args... args) {
while (*s) {
if (*s == ’% && *++s != ’%’) {
std::cout << value;
return printf(++s, args...);
}
std::cout << *s++;
}
throw std::runtime error(”extra arguments provided to printf”);
}
代码中还使用了函数模板和函数的混合递归展开。

[lidongri]

void printf(const char* s, T value, Args... args) {
---
见过

[dai_weitao]

可变参数的问题不会, 学习中...