Des moyens créatifs de vérifier si une chaîne contient un caractère interdit à la compilation ou au moins avant son utilisation?

Question

J'ai besoin d'un moyen de valider qu'une chaîne constante ne contient pas un certain caractère au moment de la compilation. J'ai réfléchi à l'utilisation de static_assert, mais j'ai frappé un mur de briques parce que j'essayais d'utiliser la méthode .find, qui n'est pas constante.

J'ai une option de faire la vérification dans le constructeur de la classe (les instances sont static const membres de ladite classe).
Mais avant de mordre la balle (puisque changer le comportement du constructeur a d'autres implications), j'aimerais voir si quelqu'un d'autre a une de ces idées créatives prêtes à l'emploi pour faire cela, de préférence au moment de la compilation .

Answer 1

Par chaîne constante peut-être vous dire un littéral chaîne , pour std::string ne peut pas être utilisé dans une expression constante.

Dans la chaîne cas littérale, nous pouvons tirer profit de constexpr: (Live Demo)

template<int N> 
constexpr bool has_forbidden_char(const char (&str) [N], char forbidden) 
{ 
    for(int i = 0; i < N; ++i) 
    { 
     if (str[i] == forbidden) 
      return true; 
    } 
    return false; 
} 

int main() 
{ 
    static_assert(!has_forbidden_char("foobar", 'x')); 
    static_assert(has_forbidden_char("foobar", 'f')); 
} 

---

Edit: itérer à N-1 si vous supposez que vous ne recevrez littéraux de chaîne et non pas des tableaux arbitraires de caractère . De cette façon, vous ne vérifierez pas le caractère NULL '\ 0' à chaque fois. (Tableaux de longueur nulle n'existent pas en C++, donc pas de soucis sur l'indexation à -1)

//... 
for(int i = 0; i < N-1; ++i){ //... 

---

Edit2: Puisque vous utilisez Visual Studio 2015, qui n'a pas constexpr détendue fonctionnalité, voici une solution conforme C++ 11 qui fonctionne:

namespace detail { 
    template<int N> 
    constexpr bool has_forbidden_char_help(const char(&str)[N], char forbidden, int index) 
    { 
     return (index < N && (str[index] == forbidden || has_forbidden_char_help(str, forbidden, index+1))); 
    } 
} // namespace detail 

template<int N> 
constexpr bool has_forbidden_char(const char (&str) [N], char forbidden) 
{ 
    return detail::has_forbidden_char_help(str, forbidden, 0); 
} 

int main() 
{ 
    static_assert(!has_forbidden_char("foobar", 'x'), "foobar doesn't have x, so this shouldn't fail..."); 
    static_assert(has_forbidden_char("foobar", 'f'), "foobar does have f, so this shouldn't fail..."); 
}