Selezione generica (C11)

Usare la _Generic parola chiave per scrivere codice che seleziona un'espressione in fase di compilazione in base al tipo dell'argomento. È simile all'overload in C++ in cui il tipo dell'argomento seleziona la funzione da chiamare. In questo caso, il tipo dell'argomento seleziona l'espressione da valutare.

Ad esempio, l'espressione _Generic(42, int: "integer", char: "character", default: "unknown"); valuta il tipo di 42 e cerca il tipo corrispondente, int, nell'elenco. Lo trova e restituisce "integer".

Sintassi

generic-selection:
 _Generic( assignment-expression, assoc-list )

assoc-list:
 association
 assoc-list, association

association:
 type-name : assignment-expression
 default : assignment-expression

Il primo assignment-expression viene chiamato espressione di controllo. Il tipo dell'espressione di controllo viene determinato in fase di compilazione e confrontato con per trovare l'espressione assoc-list da valutare e restituire. L'espressione di controllo non viene valutata. Ad esempio, _Generic(intFunc(), int: "integer", default: "error"); non genera una chiamata in fase di esecuzione a intFunc.

Quando viene determinato il tipo dell'espressione di controllo, const, volatilee restrict vengono rimossi prima della corrispondenza con assoc-list.

Le voci in assoc-list che non vengono scelte non vengono valutate.

Vincoli

• assoc-list Non è possibile specificare lo stesso tipo più di una volta.
• assoc-list Non è possibile specificare tipi compatibili tra loro, ad esempio un'enumerazione e il tipo sottostante di tale enumerazione.
• Se una selezione generica non ha un valore predefinito, l'espressione di controllo deve avere un solo nome di tipo compatibile nell'elenco di associazioni generico.

Esempio

Un modo per usare _Generic è in una macro. Il <file di intestazione tgmath.h> usa _Generic per chiamare la funzione matematica corretta a seconda del tipo di argomento. Ad esempio, la macro per cos esegue il mapping di una chiamata con un oggetto float a cosf, mentre si esegue il mapping di una chiamata con un doppio complesso a ccos.

Nell'esempio seguente viene illustrato come scrivere una macro che identifica il tipo di argomento passato. "unknown" Produce se nessuna voce nell'oggetto assoc-list corrisponde all'espressione di controllo:

// Compile with /std:c11

#include <stdio.h>

/* Get a type name string for the argument x */
#define TYPE_NAME(X) _Generic((X), \
      int: "int", \
      char: "char", \
      double: "double", \
      default: "unknown")

int main()
{
    printf("Type name: %s\n", TYPE_NAME(42.42));

    // The following would result in a compile error because 
    // 42.4 is a double, doesn't match anything in the list, 
    // and there is no default.
    // _Generic(42.4, int: "integer", char: "character"));
}

/* Output:
Type name: double
*/

Requisiti

Eseguire la compilazione con /std:c11.

Windows SDK 10.0.20348.0 (versione 2104) o versione successiva. Vedi Windows SDK per scaricare l'SDK più recente. Per istruzioni su come installare e usare l'SDK per lo sviluppo C11 e C17, vedere Installare il supporto C11 e C17 in Visual Studio.

Vedi anche

/std (Specificare la versione standard della lingua)
Matematica generica di tipo