كيفية تغليف دالة باستخدام وسائط متغيرة الطول؟
-
09-06-2019 - |
سؤال
أنا أتطلع للقيام بذلك في C/C++.
جئت عبر وسيطات الطول المتغير ولكن هذا يقترح حلاً باستخدام Python & C libffi.
الآن، إذا كنت أريد أن التفاف printf
وظيفة مع myprintf
ما أفعله هو كما يلي:
void myprintf(char* fmt, ...)
{
va_list args;
va_start(args,fmt);
printf(fmt,args);
va_end(args);
}
int _tmain(int argc, _TCHAR* argv[])
{
int a = 9;
int b = 10;
char v = 'C';
myprintf("This is a number: %d and \nthis is a character: %c and \n another number: %d\n",a, v, b);
return 0;
}
لكن النتائج ليست كما هو متوقع!
This is a number: 1244780 and
this is a character: h and
another number: 29953463
أي نقطة أين أخطأت؟؟
المحلول
المشكلة هي أنه لا يمكنك استخدام "printf" مع va_args.عليك أن تستعمل vprintf إذا كنت تستخدم قوائم الوسائط المتغيرة.vprint، vsprintf، vfprintf، الخ.(توجد أيضًا إصدارات "آمنة" في وقت تشغيل Microsoft C والتي ستمنع تجاوزات المخزن المؤقت، وما إلى ذلك.)
عينة تعمل على النحو التالي:
void myprintf(char* fmt, ...)
{
va_list args;
va_start(args,fmt);
vprintf(fmt,args);
va_end(args);
}
int _tmain(int argc, _TCHAR* argv[])
{
int a = 9;
int b = 10;
char v = 'C';
myprintf("This is a number: %d and \nthis is a character: %c and \n another number: %d\n",a, v, b);
return 0;
}
نصائح أخرى
في C++ 11، يعد هذا أحد الحلول الممكنة باستخدام Variadic templates
:
template<typename... Args>
void myprintf(const char* fmt, Args... args )
{
std::printf( fmt, args... ) ;
}
يحرر
كما يشير @rubenvb، هناك مقايضات يجب مراعاتها، على سبيل المثال، ستقوم بإنشاء تعليمات برمجية لكل مثيل مما سيؤدي إلى تضخم التعليمات البرمجية.
أنا أيضًا غير متأكد مما تقصده بالنقاء
في لغة C++ نستخدم
#include <cstdarg>
#include <cstdio>
class Foo
{ void Write(const char* pMsg, ...);
};
void Foo::Write( const char* pMsg, ...)
{
char buffer[4096];
std::va_list arg;
va_start(arg, pMsg);
std::vsnprintf(buffer, 4096, pMsg, arg);
va_end(arg);
...
}
في الواقع، هناك طريقة لاستدعاء دالة ليس لها va_list
نسخة من المجمع.الفكرة هي استخدام المجمّع، وعدم لمس الوسائط الموجودة في المكدس، واستبدال عنوان إرجاع الوظيفة مؤقتًا.
مثال لـ Visual C x86. call addr_printf
المكالمات printf()
:
__declspec( thread ) static void* _tls_ret;
static void __stdcall saveret(void *retaddr) {
_tls_ret = retaddr;
}
static void* __stdcall _getret() {
return _tls_ret;
}
__declspec(naked)
static void __stdcall restret_and_return_int(int retval) {
__asm {
call _getret
mov [esp], eax ; /* replace current retaddr with saved */
mov eax, [esp+4] ; /* retval */
ret 4
}
}
static void __stdcall _dbg_printf_beg(const char *fmt, va_list args) {
printf("calling printf(\"%s\")\n", fmt);
}
static void __stdcall _dbg_printf_end(int ret) {
printf("printf() returned %d\n", ret);
}
__declspec(naked)
int dbg_printf(const char *fmt, ...)
{
static const void *addr_printf = printf;
/* prolog */
__asm {
push ebp
mov ebp, esp
sub esp, __LOCAL_SIZE
nop
}
{
va_list args;
va_start(args, fmt);
_dbg_printf_beg(fmt, args);
va_end(args);
}
/* epilog */
__asm {
mov esp, ebp
pop ebp
}
__asm {
call saveret
call addr_printf
push eax
push eax
call _dbg_printf_end
call restret_and_return_int
}
}
هل تستخدم لغة C أو C++؟سيدعم الإصدار C++ التالي، C++0x قوالب متغيرة والتي توفر حلاً لتلك المشكلة.
يمكن تحقيق حل بديل آخر عن طريق التحميل الزائد الذكي للمشغل لتحقيق بناء جملة مثل هذا:
void f(varargs va) {
BOOST_FOREACH(varargs::iterator i, va)
cout << *i << " ";
}
f(args = 1, 2, 3, "Hello");
من أجل تفعيل هذا، الفصل varargs
يجب تنفيذها لتجاوز operator =
يقوم بإرجاع كائن وكيل والذي بدوره يتجاوزه operator ,
.ومع ذلك، فإن جعل هذا النوع المتغير آمنًا في لغة C++ الحالية ليس ممكنًا على حد علمي لأنه يجب أن يعمل عن طريق محو النوع.
كيف تقصد حل C/C++ خالص؟
المعلمة الباقية (...) مدعومة عبر الأنظمة الأساسية في وقت تشغيل C.
void myprintf(char* fmt, ...)
{
va_ list args;
va_ start(args,fmt);
printf(fmt,args); ----> This is the fault. vprintf(fmt, args); should have been used.
va_ end(args);
}
If you're just trying to call printf,
there's a printf variant called vprintf that takes
the va_list directly : vprintf(fmt, args);