Perché la funzione regex_match di C++ richiede che la stringa di ricerca sia definita al di fuori della funzione?

Question

Utilizzo Visual Studio 2013 per lo sviluppo, che utilizza la v12 degli strumenti di compilazione C++ di Microsoft.
Il seguente codice viene eseguito bene, la stampa "foo" per la console:

#include <regex> 
#include <iostream> 
#include <string> 

std::string get() { 
    return std::string("foo bar"); 
} 

int main() { 
    std::smatch matches; 
    std::string s = get(); 
    std::regex_match(s, matches, std::regex("^(foo).*")); 
    std::cout << matches[1] << std::endl; 
} 
// Works as expected. 

Lo stesso codice, con la stringa "s" sostituito per la funzione "get()", lancia una "stringa iteratori incompatibile" errore in fase di esecuzione:

#include <regex> 
#include <iostream> 
#include <string> 

std::string get() { 
    return std::string("foo bar"); 
} 

int main() { 
    std::smatch matches; 
    std::regex_match(get(), matches, std::regex("^(foo).*")); 
    std::cout << matches[1] << std::endl; 
} 
// Debug Assertion Failed! 
// Expression: string iterators incompatible 

Questo non ha senso per me. Qualcuno può spiegare perché questo accade?

Answer 1

Il motivo è che get() restituisce una stringa temporanea, quindi i risultati della corrispondenza contengono gli iteratori in un oggetto che non esiste più e il tentativo di utilizzarli è un comportamento non definito. Le asserzioni di debug nella libreria Visual Studio C++ notano questo problema e interrompono il programma.

Originariamente C++ 11 hanno permesso quello che stai cercando di fare, ma perché è così pericoloso è stata impedita l'aggiunta di un sovraccarico cancellato di std::regex_match che viene usato quando si cerca di ottenere i risultati delle partite da una stringa temporanea, vedere LWG DR 2329. Ciò significa che il tuo programma non dovrebbe essere compilato in C++ 14 (o nei compilatori che implementano il DR anche in modalità C++ 11). GCC non ha ancora implementato il cambiamento, lo aggiusterò.