コンパイラがコンパイル時の引数（浮動小数点）のみを受け入れるようにする

Question

コンパイラにconstexprまたは関数への非可変入力のみを受け入れるように強制できますか？

私は関数にコンパイル時の値だけを許可したいのですが。テンプレートまたはその他の方法を使用しています。

Hereには、intテンプレートの実例があります。 doubleの問題は、それらをテンプレート引数として使用できないことです。重複したとして、この質問をマークしている人たちへの更新

#include <iostream> 

template <double x> 
void show_x() 
{ 
    std::cout<<"x is always "<<x<<" in the entire program."<<std::endl; 
} 

int main() 
{ 
    show_x<10.0>(); 
    return 0; 
} 

error: ‘double’ is not a valid type for a template non-type parameter

---

、私が言っている：

私が尋ねる質問

How to solve problem A?

と

Solution B does not work for problem A, I need another solution

は、その後、あなたはソリューションBが動作しない理由を私にリンクさ。

これは全く論理的ではありません。

更新：ユーザー迂回に関する

懸念が対処されました。ここ

Answer 1

私は正確に何をしたいか分からないが、ここでは関数呼び出しで非定数式を拒否するための方法です。残念ながら、それがために名前の汚染の悪いマクロを使用しますが、多分あなたはあなたの関数を与える場合は奇妙な名前が、それはあまりにも傷つけることはありません。

void f(double d) {} 
#define f(x) do { constexpr decltype(x) var = x; f(var); } while (0) 

int main() 
{ 
    f(1.0);  // OK 
    f(1 + 2); // OK, constant expression with implicit conversion 
    double e = 5.0; 
    f(e);  // compilation error, `e` is not a constant expression 
} 

そうでない定数式を拒否したい場合正確にはdoubleタイプです。これも可能です（あなたの質問にはそれが必須かどうかは不明です）。

Answer 2

は2通りあります。今、X::value()は、使用される前に関数本体内の変数constexprによって取得されます。 Xをvalue()というconstexprメソッドなしで渡すことはできません。

#include <iostream> 


    struct always_10 
    { 
    constexpr static double value() { return 10.0; } 
    }; 

template <class X> 
void show_x() 
{ 
    constexpr auto x = X::value(); 
    std::cout<<"x is always "<< x <<" in the entire program."<<std::endl; 
} 

template<class X> 
void show_x(X x_) 
{ 
    constexpr auto x = x_.value(); 
    std::cout<<"x is always "<< x <<" in the entire program."<<std::endl; 
} 

int main() 
{ 
    show_x<always_10>(); 
    show_x(always_10()); 
    return 0; 
}