Jak wykryć, czy func. to jest constexpr? i zaznacz inne funkcje. constexpr w zależności od tego?

Question

Zakładając mam jakiś szablon funkcja F1:

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

Czy istnieje sposób, aby ustalić, czy f2(i, j) może być constexpr. (bez względu na to, czy jest to func, czy funktor) i dlatego też oznaczacie f1<f2> jako constexpr?

mam na myśli używając SFINAE tutaj trochę jak, ale nie znaleźliśmy sposobu wykrywania constexpr użyciu type traits

Answer 1

Można oznaczyć f1 jak constexpr.

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

Funkcja f1 szablon byłby constexpr IIF f2 jest.

jeśli nie jest f2, błąd pojawi się tylko wtedy, gdy użyjesz f1 w wyrażeniu o stałej długości kompilacji.

Demo

Answer 2

Najprostszym sposobem sprawdzenia, czy dana funkcja (np foo) jest constexpr jest przypisanie jej wartości zwracanej do constexpr jak poniżej:

constexpr auto i = foo(); 

jeśli zwrócona wartość nie jest constexpr kompilacja zakończy się niepowodzeniem.

Jeśli chcesz test SFINAE aby sprawdzić, czy funkcji (np foo) jest constexpr można użyć cechę std::integral_constant typ:

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

Live Demo

Answer 3

Więc w końcu, wykorzystując Jarod42 wskazówkę, i'l pisać i przetestowany 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; 
} 

teraz pracują prawidłowo, testowałem go za pomocą GCC kompilator online, zarówno z C + +11 i C + 14.

---

Można dowód będzie naprawdę constexpr jeśli to możliwe poprzez usunięcie '+ S.size()':

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

i odkomentowanie wartość constexpr:

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

zobaczyć here.

---

P. S. Dziękuję wam!