根据变量函数在C++中的参数确定类型 [英] Determine types from a variadic function's arguments in C
问题描述
目前我正在尝试编写printf代码。 我只是寻找一个解释最好是用简单的例子,但不是对print tf的解决方案,因为我想自己解决这个个人挑战以取得进步。
Link1、link2和link3是我正在寻找的示例的一部分。 我了解了tyecif、struct、enum和Union的基本功能,但无法理解一些实际应用案例,如链接中的示例。
它们的真正含义是什么?我无法理解它们是如何工作的。 如何将数据类型从联合传递到va_arg,如链接示例中所示?它是如何匹配的? 使用%d、%i这样的修饰符...或参数的数据类型?
这是我到目前为止得到的信息:
#include <stdarg.h>
#include <stdio.h>
#include <stdlib.h>
#include "my.h"
typedef struct s_flist
{
char c;
(*f)();
} t_flist;
int my_printf(char *format, ...)
{
va_list ap;
int i;
int j;
int result;
int arg_count;
char *cur_arg = format;
char *types;
t_flist flist[] =
{
{ 's', &my_putstr },
{ 'i', &my_put_nbr },
{ 'd', &my_put_nbr }
};
i = 0;
result = 0;
types = (char*)malloc( sizeof(*format) * (my_strlen(format) / 2 + 1) );
fparser(types, format);
arg_count = my_strlen(types);
while (format[i])
{
if (format[i] == '%' && format[i + 1])
{
i++;
if (format[i] == '%')
result += my_putchar(format[i]);
else
{
j = 0;
va_start(ap, format);
while (flist[j].c)
{
if (format[i] == flist[j].c)
result += flist[i].f(va_arg(ap, flist[i].DATA_TYPE??));
j++;
}
}
}
result += my_putchar(format[i]);
i++;
}
va_end(ap);
return (result);
}
char *fparser(char *types, char *str)
{
int i;
int j;
i = 0;
j = 0;
while (str[i])
{
if (str[i] == '%' && str[i + 1] &&
str[i + 1] != '%' && str[i + 1] != ' ')
{
i++;
types[j] = str[i];
j++;
}
i++;
}
types[j] = ' ';
return (types);
}
推荐答案
无法从va_list
获取实际类型信息。您可以从format
获得您想要的内容。您似乎没有料到的是:参数都不知道实际的类型是什么,但是format
表示调用者对应该是什么类型的看法。(也许还有进一步的提示:如果调用方给实际printf
的格式说明符与传入的varargs不匹配,它会怎么做?它会注意到吗?)
va_list
。例如,(伪代码)if (fspec was "%s") { char* str = va_arg(ap, char*); print out str; }
。没有提供更多详细信息,因为您明确表示不需要完整的解决方案。
编辑后添加:
您永远不会拥有类型作为可以作为值传递给va_arg
的一段运行时数据。va_arg
的第二个参数必须是在编译时引用已知类型的文字硬编码规范。(请注意,va_arg
是在编译时展开的宏,而不是在运行时执行的函数-您不能让函数将类型作为参数。)
va_arg
。您必须有单独的代码片段来表示字面上的va_arg(ap, int)
和va_arg(ap, char*)
,因此无法避免switch
或if
链。
您想要使用联合和结构创建的解决方案将从以下内容开始:
typedef union {
int i;
char *s;
} PRINTABLE_THING;
int print_integer(PRINTABLE_THING pt) {
// format and print pt.i
}
int print_string(PRINTABLE_THING pt) {
// format and print pt.s
}
这两个专用函数单独使用显式int
或char*
参数就可以很好地工作;我们之所以进行联合,是为了使函数能够正式接受相同类型的参数,以便它们具有相同的签名,这样我们就可以定义单个类型,这意味着指向那种函数的指针:
typedef int (*print_printable_thing)(PRINTABLE_THING);
现在您的代码可以有一个print_printable_thing
类型的函数指针数组,也可以有一个将print_printable_thing
作为结构字段之一的结构数组:
typedef struct {
char format_char;
print_printable_thing printing_function;
} FORMAT_CHAR_AND_PRINTING_FUNCTION_PAIRING;
FORMAT_CHAR_AND_PRINTING_FUNCTION_PAIRING formatters[] = {
{ 'd', print_integer },
{ 's', print_string }
};
int formatter_count = sizeof(formatters) / sizeof(FORMAT_CHAR_AND_PRINTING_FUNCTION_PAIRING);
(是的,这些名字都是故意超级冗长的。您可能希望在实际程序中使用较短的类型,或者在适当的情况下甚至需要匿名类型。)
现在您可以使用该数组在运行时选择正确的格式化程序:
for (int i = 0; i < formatter_count; i++)
if (current_format_char == formatters[i].format_char)
result += formatters[i].printing_function(current_printable_thing);
但是,将正确的内容放入current_printable_thing
的过程仍然需要分支,以获得具有正确硬编码类型的va_arg(ap, ...)
。一旦您编写了它,您可能会发现自己实际上并不需要联合或结构数组。
这篇关于根据变量函数在C++中的参数确定类型的文章就介绍到这了,希望我们推荐的答案对大家有所帮助,也希望大家多多支持IT屋!