5
Dlaczego tak się dzieje? Kod działa i nie generuje ostrzeżeń w GCC 4.7 w systemie Linux i MSVC++ 2010 w systemie Windows. Jednak na ideone.com it crashes z . Czy tu występuje niezdefiniowane zachowanie?Dlaczego ten kod C++ dostaje SIGILL na ideone.com?
#include <iostream>
#include <cstdarg>
using namespace std;
enum types
{
INT,
DOUBLE,
CHAR,
STRING
};
struct mt
{
types type;
union
{
int i;
double d;
char c;
const char *s;
} val;
mt(int i)
: type(INT)
{
val.i = i;
}
mt(double d)
: type(DOUBLE)
{
val.d = d;
}
mt(char c)
: type(CHAR)
{
val.c = c;
}
mt(const char *s)
: type(STRING)
{
val.s = s;
}
};
void print(int n, ...)
{
va_list ap;
va_start(ap, n);
for (int i = 0; i < n; i++)
{
mt x(va_arg(ap, mt));
switch (x.type)
{
case INT:
cout << x.val.i << endl;
break;
case DOUBLE:
cout << x.val.d << endl;
break;
case CHAR:
cout << x.val.c << endl;
break;
case STRING:
cout << x.val.s << endl;
break;
}
}
va_end(ap);
}
int main()
{
print(4, mt(2), mt(4.2), mt('a'), mt("Hello"));
}
Myślałem, że można przekazać wszystko, co jest POD (patrz C++ 03, 5.2.2.7, "_lub klasa type_"). I 'struct mt' wyszukuje mi POD, ponieważ (a) nie ma członków niebędących POD, (b) nie ma zdefiniowanego przez użytkownika operatora przypisania kopii i (c) nie ma użytkownika -definiowany destruktor (patrz Klauzula 9). Czy to odliczenie jest złe? –
@AndreyVihrov Varargs są czymś w rodzaju hackowania i nie są przenośne (jak się dowiedziałeś). Użyj 'std ::' lub innej klasy kolekcji, aby przekazywać obiekty między metodami. –
trojanfoe
Nie zgadzam się. Varargs są przenośne, ponieważ są oficjalnie częścią standardów C i C++ :-) –