c++ 具有依赖类型的字符串字面量 – 不可能?

栏目: C++ · 发布时间: 6年前

内容简介:不,不可能,在严重的宏观黑客之外.字符串字面值通过constexpr访问,并且constexpr的返回类型不能取决于参数的值.建议的<char ...>字符串文字的运算符“”遇到“原始或已处理”问题以及如何指定的问题,以及在下一个标准中及时排除这些问题的地方会很困难,和/或投资回报率很低. (至少从我偶然的阅读发生了什么事).我不知道它是否在葡萄树上死亡,还是在继续工作.

可以定义一个用户定义的字符串文字转换运算符,使其结果的类型取决于其字符串输入的值吗?

用户定义的整数和浮点数字很容易,因为它们允许文字操作符模板,并且文字的实际字符作为模板参数传递给它.例:

template <char... s> struct silly { using type = int; };
template <char... s> struct silly<'1', s...> { using type = double; };

template <char... s>
typename silly<s...>::type operator"" _silly() { return 0; }

static_assert(std::is_same<int, decltype(4321_silly)>::value, "no luck");
static_assert(std::is_same<double, decltype(1234_silly)>::value, "no luck");

用户定义的字符串文字似乎不存在这样的东西.

还有另外一种方法可以在当前的标准中进行,也可以在未来的修订中进行规划/讨论?

不,不可能,在严重的宏观黑客之外.字符串字面值通过constexpr访问,并且constexpr的返回类型不能取决于参数的值.

建议的<char ...>字符串文字的运算符“”遇到“原始或已处理”问题以及如何指定的问题,以及在下一个标准中及时排除这些问题的地方会很困难,和/或投资回报率很低. (至少从我偶然的阅读发生了什么事).

我不知道它是否在葡萄树上死亡,还是在继续工作.

黑客将通过<arr [0],arr [1],arr [2]>到模板pseduo手动,并且不会(直接)涉及用户定义的文字语法.它有很多问题.

http://stackoverflow.com/questions/24884085/string-literal-with-dependent-type-impossible


以上就是本文的全部内容,希望本文的内容对大家的学习或者工作能带来一定的帮助,也希望大家多多支持 码农网

查看所有标签

猜你喜欢:

本站部分资源来源于网络,本站转载出于传递更多信息之目的,版权归原作者或者来源机构所有,如转载稿涉及版权问题,请联系我们

极简算法史:从数学到机器的故事

极简算法史:从数学到机器的故事

[法] 吕克•德•布拉班迪尔 / 任轶 / 人民邮电出版社 / 2019-1 / 39.00元

数学、逻辑学、计算机科学三大领域实属一家,彼此成就,彼此影响。从古希腊哲学到“无所不能”的计算机,数字、计算、推理这些貌似简单的概念在三千年里融汇、碰撞。如何将逻辑赋予数学意义?如何从简单运算走向复杂智慧?这背后充满了人类智慧的闪光:从柏拉图、莱布尼茨、罗素、香农到图灵都试图从数学公式中证明推理的合理性,缔造完美的思维体系。他们是凭天赋制胜,还是鲁莽地大胆一搏?本书描绘了一场人类探索数学、算法与逻......一起来看看 《极简算法史:从数学到机器的故事》 这本书的介绍吧!

Base64 编码/解码
Base64 编码/解码

Base64 编码/解码

UNIX 时间戳转换
UNIX 时间戳转换

UNIX 时间戳转换

HSV CMYK 转换工具
HSV CMYK 转换工具

HSV CMYK互换工具