C++ enigma di programmazione, divertirsi con i puntatori a funzione

Question

Dato il seguente frammento di codice: programmatore

#include <string> 
#include <iostream> 

int main() 
{ 
    std::string prefix("->"), middle(), suffix("<-"); 
    std::cout << "Test: " << prefix << middle << suffix << std::endl; 

    return 0; 
} 

L'avanzato C++ immediatamente vedere che middle() non sta chiamando std::string s' ctor di default, invece si tratta di una dichiarazione di funzione.

La cosa interessante però: Perché gcc produce il seguente output:

Test: ->1<- 

a differenza di errore di linker di Visual Studio? Qualcuno sa cosa sta succedendo qui?

Answer 1

Un puntatore a funzione verrà convertito in bool quando si utilizza con cout.

Perché il puntatore di funzione non viene convertito in un void * implicitamente, qual è l'overload di operatore < <? perché i puntatori di funzione non sono puntatori di oggetti.

C++ 11 §4.10/2:

Un prvalue di tipo “puntatore a cv T”, dove T è un tipo di oggetto, può essere convertito in un prvalue di tipo “puntatore a vuoto cv ”. Il risultato della conversione di un "puntatore in cv T" in un "puntatore al cv void" punta all'inizio della posizione di memoria in cui risiede l'oggetto di tipo T, come se l'oggetto fosse un oggetto più derivato (1.8) di tipo T (cioè, non un subobject di classe base). Il valore del puntatore nullo viene convertito nel valore del puntatore nullo del tipo di destinazione.

Answer 2

Come detto da Yu, il puntatore della funzione viene convertito in bool.

L'ottimizzatore g ++ sta evidentemente pre-valutando la conversione, mentre Visual C++ genera effettivamente il codice per verificare se l'indirizzo della funzione è nullo, il che richiede che il linker fornisca l'indirizzo della funzione.

La regola è che

Ogni programma deve contenere esattamente un definizione di ogni funzione non inline o variabile che viene ODR-usata in quel programma; nessuna diagnostica richiesta.

La funzione è ODR-utilizzato perché si sta usando il suo indirizzo. Non fornendo una definizione, stai violando questa regola e lo Standard non richiede una diagnostica, il che significa che la toolchain è libera di fare tutto ciò che vuole.

Visual C++ sta generando una diagnostica, anche se non è necessario.

g ++ sta dando il risultato effettivo della conversione a bool, poiché sa che il decadimento di una funzione effettiva su un puntatore di funzione non può mai produrre un puntatore a funzione nulla.

Ma la formattazione del disco rigido sarebbe ugualmente valida, dal momento che lo standard non dice quello che la toolchain può o non può fare qui.