Déclenchez void constexpr au moment de la compilation?

Question

J'ai une fonction constexpr qui regroupe plusieurs static_asserts pour les contrats de conception. Je voudrais l'appeler au moment de la compilation, sans avoir à créer une variable constexpr non utilisée.

Voici un exemple de ce que j'ai actuellement à faire (C++ 17).

template<size_t N = 0, typename... Ts, typename F> 
inline constexpr int tuple_for(const std::tuple<Ts...>& t, const F& func) { 
    func(std::get<N>(t)); 

    if constexpr(N < sizeof...(Ts) - 1) { 
     return tuple_for<N + 1, Ts...>(t, func); 
    } else { 
     return 0; 
    } 
} 

auto do_checks = [](const auto& t) { 
    static_assert(has_some_method_v<decltype(t)>, 
      "You need some_method"); 
    return 0; 
} 

[[maybe_unused]] 
constexpr int i_am_sad = tuple_for(my_tuple, do_checks); 

Existe-t-il un autre moyen d'obtenir ce comportement? Peut-être quelque chose de nouveau en C++ 17?

Merci.

edit: Notez que comme ces vérifications doivent être généralisées, je crois qu'avoir les asserts dans une fonction est la bonne façon d'y aller.

Answer 1

Vous pourriez l'utiliser dans d'autres contexte constexpr comme static_assert:

static_assert((static_cast<void>(tuple_for(my_tuple, do_checks)), true), "!"); 

[Note]: le casting à void est de généraliser, si vous voulez retourner la classe avec une virgule surchargée de mal.

Answer 2

static_assert est une déclaration-déclaration , donc vous pouvez simplement la placer dans l'espace libre.

Pas besoin de fonction.

C'est précisément le cas d'utilisation pour cela. :)