递归火山软件开发平台

标题: 判断模板类型 [打印本页]

作者: 小蜗牛 时间: 2025-11-16 10:46
提示: 作者被禁止或删除内容自动屏蔽

作者: 创世魂 时间: 2025-11-16 16:22
。。没看明白

作者: hcwanz 时间: 2025-11-17 10:12
本帖最后由 hcwanz 于 2025-11-17 10:19 编辑

创世魂发表于 2025-11-16 16:22
。。没看明白

c++的模版元语法 is_same_v 为相同类型则为真, 不同为假.

魂魂水平有待提高啊, 这样怎么能好好带领火山前进
不过确实, 按我理解这里不是得用 static_assert吗? constexpr还有这功能?

作者: Xelloss0618 时间: 2025-11-17 12:18

hcwanz 发表于 2025-11-17 10:12
c++的模版元语法 is_same_v 为相同类型则为真, 不同为假.

魂魂水平有待提高啊, 这样怎么能好好带领火山前 ...

这里用 constexpr 是非必要的，只是目前是编译期值。
也不可能写 static_assert，这返回的是逻辑型，又不是用来报错。

作者: 龙纹 时间: 2025-11-17 18:43

Xelloss0618 发表于 2025-11-17 12:18
这里用 constexpr 是非必要的，只是目前是编译期值。
也不可能写 static_assert，这返回的是逻辑型，又不 ...

不仅是非必要，这种语法应该是非法的。看到这段代码，我第一反应是编译不会报错吗？
在VS里写 if (constexpr()) 会提示语法错误, 但是能编译通过......
虽然代码行为是符合预期的，但还是不建议使用这种写法。

欢迎光临递归火山软件开发平台 (https://bbs.voldp.com/)