仅用于编译时参数禁用函数

我想为任何编译时评估的参数(文字或来自constexpr表达式带来的内容(禁用一个函数。这可能吗？

对于整数，可以使用相反的使用非类型模板参数，但这也会更改呼叫语法。

我正在与严格的整数一起玩，这需要以某种方式启动。处理不良输入的当前规则：

• 如果仅在运行时知道源值，而变窄的铸件会破坏解释(而不是位(，则抛出一个例外

• 如果源值在编译时已知，并且不适合源值，则应该有汇编错误。

我的想法是禁用接受所有constexpr参数的构造函数。

严格，我的意思是只允许具有价值的转换：

假设n> = m

• int<M> to int<N>始终确定
• uint<M> to uint<N>始终确定

其他所有内容：

1. 如果源值在编译时已知，则应存在汇编误差。
2. 如果在编译过程中未知值，请查看转换是否正常工作，否则会引发异常。

对于情况(1(，使用constexpr-throw技巧不起作用：考虑以下(非constexpr上下文(：

// Will compile, but it shouldn't. Instead of not compiling it will throw an exception.
int<16> foo(12345); 
// Will compile. Whatever the type of some_value_from_outside is, 
// check that it fits at runtime. If it does not, throw an exception.
int<16> thisIsFine(some_value_from_outside);

理想是与ConstexPr参数的分辨率不存在，因此我正在尝试找到最佳的解决方法。