Come rilevare se una funz. è un constexpr? e contrassegna altre funzioni constexpr a seconda di esso?

Question

Supponendo che ho qualche modello di funzione F1:

template<typename f2> 
int f1(int i, int j) noexcept { 
    return i + j + f2(i, j); 
} 

c'è modo per determinare se f2(i, j) può essere un constexpr. (non importa che sia una funzione o un functor) e quindi contrassegnare f1<f2> come constexpr troppo?

Sto pensando di utilizzare SFINAE qui in qualche modo, ma non ho trovato come rilevare constexpr utilizzando type traits

Answer 1

È possibile contrassegnare come f1constexpr.

template<typename f2> 
constexpr int f1(int i, int j) noexcept { 
    return i + j + f2(i, j); 
} 

La funzione f1 modello sarebbe constexpr IIF f2 è.

se f2 non lo è, si otterrà l'errore solo quando si utilizza f1 in un'espressione di tempo di compilazione costante.

Demo

Answer 2

Il modo più semplice per verificare se una funzione (ad esempio, foo) è constexpr è quello di assegnare il suo valore di ritorno ad un constexpr come di seguito:

constexpr auto i = foo(); 

se il valore restituito non è constexpr la compilazione fallirà.

Se si desidera un test SFINAE per verificare se una funzione (ad esempio, foo) è constexpr è possibile utilizzare il tipo di tratto std::integral_constant:

std::integral_constant<int, foo()>::value 

Live Demo

Answer 3

Così, finalmente, utilizzando Jarod42 suggerimento, I'l scrivere e testato this example:

#include <string> 
std::string S = "123567876"; 

constexpr size_t p() noexcept { 
    return 10U; 
} 

template<const size_t = size_t()> 
constexpr size_t f(size_t i, size_t j) noexcept { 
    return std::move(i + j + S.size() + p()); 
} 

#include <iostream> 
int main() { 
    // static constexpr const auto v = f<>(1U, 2U); // error! 
    std::cout << f(1U, 2U) << "\n"; 
    return 0; 
} 

ora è il lavoro correttamente, ho provato usando GCC compilatore in linea sia con C + +11 e C + 14.

---

poter controllare il risultato sarà davvero constexpr se possibile, eliminando '+ S.size()':

... 
    return std::move(i + j + p()); 
... 

e decommentando valore constexpr:

... 
    static constexpr const auto v = f(1U, 2U); 
    std::cout << v << "\n"; 
... 

vedere here.

---

P. S. Grazie ragazzi!