Perché printf funziona con stringhe gestite?

Question

stiamo scavando attraverso alcuni veramente vecchio C++/CLI-Code (Beta vecchia sintassi .NET) ed erano un po 'sorpreso di vedere qualcosa di simile:

System::String ^source("Test-String"); 
printf("%s", source); 

Il programma stampa correttamente

Test-String 

Ci chiediamo, perché è possibile passare la sorgente di stringhe gestite a printf - e ancora più importante: Perché funziona? Non mi aspetto che sia un po 'la convenienza di funzionalità dal compilatore perché il seguente non funziona:

System::String ^source("Test-String"); 
char pDest[256]; 
strcpy(pDest, source); 

Questo produce una (in qualche modo atteso) la compilazione di errore che dice che System::String^ non possono essere convertiti in const char*. Quindi la mia unica spiegazione è che il passaggio di un riferimento gestito a una va_list supera tutti i controlli del compilatore e induce il codice nativo a utilizzare un puntatore nell'heap gestito. Poiché System::String è rappresentato come un char -Array in memoria, printf potrebbe funzionare. Oppure il compilatore converte in pin_ptr e lo passa a printf.

Non mi aspetto che esegua il marshalling automatico dello String^ su char*, perché ciò comporterebbe una perdita di memoria non valida senza alcun riferimento all'indirizzo di memoria effettivo.

Sappiamo che questa non è una buona soluzione e i vari metodi di marshalling introdotti dalle versioni successive di Visual Studio forniscono un approccio migliore, ma sarebbe molto interessante capire cosa sta realmente accadendo qui.

Grazie!

Answer 1

Credo che sia perché il compilatore si sta trasformando in questo IL:

call vararg int32 modopt([mscorlib]System.Runtime.CompilerServices.CallConvCdecl) printf(int8 modopt([mscorlib]System.Runtime.CompilerServices.IsSignUnspecifiedByte) modopt([mscorlib]System.Runtime.CompilerServices.IsConst)*, ..., string) 

che finisce come una chiamata PInvoke per printf, in modo che il tempo di esecuzione è essere un po 'subdolo da smistamento per voi. Sei ancora in un runtime gestito e il runtime fornirà il servizio di Marhsalling quando è necessario.

---

Alcune note:

Sembra che clr!GenericPInvokeCalliHelper sta facendo sollevamento sul x86 .NET 4 Workstation CLR.

quanto segue non funziona

Ecco perché è dritto C++. Non ha alcuna possibilità di effettuare lo smistamento perché non è necessario.