blocks|key|2841268|text|以下是两种方法：|type|unstyled|depth|inlineStyleRanges|entityRanges|data|2841269|更新：|2841270|对用户规避的担忧已经得到解决。现在，在使用之前，函数体中的X::value()由一个constexpr变量获取。如果没有名为X的constexpr方法，现在就不可能传递value()。|offset|length|style|CODE|2841271|#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;
}|code-block|syntax|javascript|2841272|entityMap^0|0|0|T|A|16|9|1Q|1|1S|9|2C|7|0|0^^$0|@$1|2|3|4|5|6|7|Q|8|@]|9|@]|A|$]]|$1|B|3|C|5|6|7|R|8|@]|9|@]|A|$]]|$1|D|3|E|5|6|7|S|8|@$F|T|G|U|H|I]|$F|V|G|W|H|I]|$F|X|G|Y|H|I]|$F|Z|G|10|H|I]|$F|11|G|12|H|I]]|9|@]|A|$]]|$1|J|3|K|5|L|7|13|8|@]|9|@]|A|$M|N]]|$1|O|3|-4|5|6|7|14|8|@]|9|@]|A|$]]]|P|$]]

Here are 2 ways:

Update:

Concerns about user-circumvention have been addressed. Now, <code>X::value()</code> s acquired by a <code>constexpr</code> variable within the function body before being used. It is now not possible to pass an <code>X</code> without a <code>constexpr</code> method called <code>value()</code>.

<pre><code>#include &lt;iostream&gt;


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

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

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

int main()
{
 show_x&lt;always_10&gt;();
 show_x(always_10());
 return 0;
}
</code></pre>

blocks|key|1477862|text|我不确定您到底想要什么，但是这里有一种方法可以在函数调用中拒绝非常数表达式。不幸的是，它使用的宏由于名称的污染而很糟糕，但是如果您给函数取了一个奇怪的名称，那么它不会造成太大的伤害：|type|unstyled|depth|inlineStyleRanges|entityRanges|data|1477863|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+%2B+2);++++//+OK,+constant+expression+with+implicit+conversion
++++double+e+=+5.0;
++++f(e);++++++++//+compilation+error,+`e`+is+not+a+constant+expression
}|code-block|syntax|javascript|1477864|如果您想拒绝不完全属于double类型的常量表达式，这也是可能的(从您的问题中不能确定这是否是一项要求)。|offset|length|style|CODE|1477865|entityMap^0|0|0|B|6|0^^$0|@$1|2|3|4|5|6|7|O|8|@]|9|@]|A|$]]|$1|B|3|C|5|D|7|P|8|@]|9|@]|A|$E|F]]|$1|G|3|H|5|6|7|Q|8|@$I|R|J|S|K|L]]|9|@]|A|$]]|$1|M|3|-4|5|6|7|T|8|@]|9|@]|A|$]]]|N|$]]

I'm not sure exactly what you want, but here is a way to reject non-constant expressions in a function call. Unfortunately it uses a macro which is bad because of name pollution, but maybe if you give your function a strange name then it won't hurt too much:

<pre><code>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
}
</code></pre>

If you want to reject constant expressions which aren't exactly <code>double</code> type already, that would be possible too (not sure from your question whether that is a requirement).

Can I force compiler to accept only a <code>constexpr</code> or a non-variable input to a function?

I am looking for allowing only compile time values to a function. Either using template or any other method.

<a href="https://stackoverflow.com/questions/26582875/#26584055">Here</a>, there is a working example for <code>int</code> templates. The problem with <code>double</code>s is that they cannot be used as template arguments.

<pre><code>#include &lt;iostream&gt;

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

int main()
{
 show_x&lt;10.0&gt;();
 return 0;
}
</code></pre>

<blockquote>
 error: ‘double’ is not a valid type for a template non-type parameter
</blockquote>

<hr>

Update

To those who have marked this question as a duplicate, I have to say:

I ask question 

<blockquote>
 How to solve problem A? 
</blockquote>

and 

<blockquote>
 Solution B does not work for problem A, I need another solution
</blockquote>

Then you linked me to why solution <code>B</code> does not work.

That is totally illogical.

Force compiler to accept only compile time argument (floating point)

翻译质量差，导致语言生硬或混乱。

没有提供实际的解决方法或示例。

解答不清晰，无法理解或解决问题。

页面排版不美观，阅读体验差。

文章

问答

视频

教程

学习中心

腾讯云实验室

直播

竞赛

腾讯云代码分析专区

腾讯iOA零信任安全管理系统专区

腾讯云架构师技术同盟交流圈

腾讯云数据库专区

腾讯云智能顾问专区

腾讯云原生专区

腾讯混元专区

腾讯云TCE专区

腾讯云Lighthouse专区

腾讯云HAI专区

腾讯云Edgeone专区

腾讯云存储专区

腾讯云智能专区

腾讯轻联专区 

腾讯云开发专区

TAPD专区

腾讯轻量云游戏服专区

腾讯云最具价值专家

腾讯云架构师技术同盟

腾讯云创作之星

腾讯云开发者先锋

腾讯云代码助手

云原生构建

TAPD 敏捷项目管理

Cloud Studio

SDK中心

API中心

命令行工具

涵盖代码开发、场景应用、自动测试全流程，助你从零构建专属AI助手

一站式MCP教程库，解锁AI应用新玩法

聚焦“写作效率、视觉美观与运行性能”三方面进行全面升级，为您提供更高效、稳定的创作环境

社区富文本&Markdown编辑器全新改版上线，欢迎大家体验!

诚挚邀请您参与本次调研，分享您的真实使用感受与建议。您的反馈至关重要，感谢您的支持与参与！

社区新版编辑器体验调研

我是否可以强迫编译器只接受函数的constexpr或非变量输入？我希望只允许编译函数的时间值。使用模板或任何其他方法。，有一个适用于int模板的示例。double的问题是它们不能用作模板参数。#include <iostream>template <double x>void show_x(){ std::cou...

问强制编译器只接受编译时参数(浮点)
EN

Stack Overflow用户

社区

活动

圈层

关于

腾讯云开发者

热门产品

热门推荐

更多推荐

问强制编译器只接受编译时参数(浮点)EN