Czy przekazuje dodatkowe parametry za pomocą wskaźnika funkcji legal/zdefiniowanego w C?

Question

Powiel możliwe:
Casting a function pointer to another type

Załóżmy zainicjować wskaźnik funkcji z funkcją, która faktycznie zajmuje mniej parametrów następnie definicji wskaźnik funkcji, będzie funkcja nadal działać prawidłowo, jeśli wywołana poprzez wskaźnik funkcji?

Próbowałem to z gcc i działał zgodnie z oczekiwaniami, ale zastanawiam się, czy to zachowanie jest spójne kompilatory/platform (i podejrzewam w niektórych środowiskach może siać spustoszenie na stosie):

#include <stdio.h> 

typedef void (*myfun)(int, int, int); 

void test_a(int x, int y, int z) { 
    printf("test_a %d %d %d\n", x, y, z); 
} 

void test_b(int x, int y) { 
    printf("test_b %d %d\n", x, y); 
} 

int main() { 
    myfun fp; 
    fp = test_a; 
    fp(1, 2, 3); 
    fp = (myfun) test_b; 
    fp(4, 5, 6); 
} 

Answer 1

zachowanie twojego programu jest niezdefiniowane. Fakt, że kompiluje się w ogóle, wynika z obsady, która skutecznie mówi kompilatorowi: "to jest złe, ale mimo to rób to". Jeśli usuniesz obsady, dostaniesz odpowiedni komunikat o błędzie: (. Od gcc -Wall -Werror)

a.c:17:8: error: assignment from incompatible pointer type [-Werror] 

Dokładniej, zachowanie zależy od konwencji telefonicznych. Jeśli byłeś na platformie, argumenty były przekazywane w kolejności "odwróconej" na stosie, program dałby zupełnie inny wynik.

Answer 2

Jest to niezdefiniowane zachowanie. Używaj na własne ryzyko. Został on podobno powodować Nasal Demons!

Answer 3

czy działa zależy od calling convention używany.

Nie polecam go.

Answer 4

Wywołanie funkcji jest niezdefiniowanym zachowaniem.

(C99, 6.3.2.3p8) "[...] Jeśli przekonwertowany wskaźnik jest używany do wywołania funkcji, której typ nie jest zgodny z typem wskazanym, zachowanie jest niezdefiniowane."

Dla informacji należy zauważyć, że rodzaj funkcja:

(C99 6.2.5p20) „[...] opisuje funkcję z określonego typu powrotnego typ funkcja charakteryzuje. jego typ zwrotu oraz liczba i typy jego parametrów. "