Passer des objects constexpr autour

J’ai décidé de constexpr ensuite la nouvelle définition de constexpr C++14 et d’en tirer le meilleur parti, j’ai décidé d’écrire un petit parsingur de chaîne au moment de la compilation. Cependant, j’ai du mal à garder mon object comme constexpr tout en le passant à une fonction. Considérons le code suivant:

 #include  #include  class str_const { const char * const p_; const std::size_t sz_; public: template  constexpr str_const( const char( & a )[ N ] ) : p_( a ), sz_( N - 1 ) {} constexpr char operator[]( std::size_t n ) const { return n < sz_ ? p_[ n ] : throw std::out_of_range( "" ); } constexpr std::size_t size() const { return sz_; } }; constexpr long int numOpen( const str_const & str ){ long int numOpen{ 0 }; std::size_t idx{ 0 }; while ( idx < str.size() ){ if ( str[ idx ] == '{' ){ ++numOpen; } else if ( str[ idx ] == '}' ){ --numOpen; } ++idx; } return numOpen; } constexpr bool check( const str_const & str ){ constexpr auto nOpen = numOpen( str ); // ... // Apply More Test functions here, // each returning a variable encoding the correctness of the input // ... return ( nOpen == 0 /* && ... Test the variables ... */ ); } int main() { constexpr str_const s1{ "{ Foo : Bar } { Quooz : Baz }" }; constexpr auto pass = check( s1 ); } 

J’utilise la classe str_const présentée par Scott Schurr à C ++ Now 2012 dans une version modifiée pour C++14 .

Le code ci-dessus ne pourra pas être compilé avec l’erreur ( clang-3.5 )

 error: constexpr variable 'nOpen' must be initialized by a constant expression constexpr auto nOpen = numOpen( str ); ~~~~~~~~~^~~~~ 

Ce qui m’amène à la conclusion que vous ne pouvez pas contourner un object constexpr sans perdre son constexpr constexpr. Cela m’a amené aux questions suivantes:

• Pourquoi ne puis-je pas initialiser une référence dans une liste d’initialisation avec une initialisation uniforme?
• Passer l’argument pointeur par référence sous C?
• Les macros Variadic sont-elles non standard?
• OpenCV cv :: Mat à std :: ifstream pour l’encodage en base64
• Wchar_t est-il nécessaire pour la prise en charge de l’unicode?

1. Mon interprétation est-elle correcte?

2. Pourquoi est-ce le comportement que la norme dicte?

   Je ne vois pas le problème en passant un object constexpr autour. Bien sûr, je pourrais réécrire mon code pour l’intégrer à une seule fonction, mais cela conduit à un code exigu. Je suppose que la factorisation de fonctionnalités distinctes dans des unités de code (fonctions) distinctes devrait également constituer un bon style pour les opérations de compilation.

3. Comme je l’ai dit précédemment, l’erreur du compilateur peut être résolue en déplaçant le code des corps de fonctions de test distinctes (telles que numOpen ) dans le corps de la check fonction de niveau supérieur. Cependant, je n’aime pas cette solution car elle crée une fonction énorme et exiguë. Voyez-vous une approche différente pour résoudre le problème?

• générer des énumérations aléatoires
• Positionner le pointeur sur un tableau de dimension arbitraire?
• Forcer le GPU NVIDIA par programme dans les ordinateurs portables Optimus
• Ignorer les bibliothèques incompatibles lors de la compilation
• sizeof en c ++ montrant la taille d’une chaîne de moins

 const auto nOpen = numOpen( str );