- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
语言规范在引入概念时隐式禁止类型特征 to be used在类型约束上下文中代替概念:
#include <type_traits>
// doesn't work because std::is_arithmetic_v is not a type
template <std::is_arithmetic_v T> struct A{};
// legal, but doesn't restrict T, but expects an object of type std:: is_arithmetic
template <std::is_arithmetic T> struct B{};
我依稀记得在规范过程中,如果不引入新的 concept
,人们就无法让 Concepts 的概念发挥作用。关键字和定义概念的相应机制。
但是,在A
的定义中, 构造 template <bool-expression ID>
从来都不是合法的,因此允许它不会与其他语言结构发生冲突。
那么,是什么阻碍了直接允许这样的构造而不是必须 introduce a lot of wrapper-Concepts for already existing std type traits — 更不用说自定义类型特征了?
注意:很明显写一个泛型concept
包装现有类型特征的模板是微不足道的。这不是如何重用旧特征的问题,而是为什么语言一开始就不允许这样做的问题?甚至可能而不是引入新关键字。
最佳答案
类型特征的普通求值语义拒绝在它们之间定义任何有意义的关系;缺少包含 将阻止约束声明的许多生产性使用。例如:
template<nonstd::is_semiregular_v T> void f(T);
template<nonstd::is_regular_v T> void f(T);
void g(int i) {
f(i); // error: ambiguous
}
具有概念的相应代码选择具有更强概念的重载(这可能具有更好的语义或更高效)。
关于c++ - 除了概念之外,在类型约束中禁止类型特征的理由是什么?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/74888996/
您好,我希望我的下一个输出(在本例中就是字母)在上一个输出之后输出 8 个空格。这适用于第一个字符,但之后的 printf 语句不起作用。它在第一个 printf 语句之后立即打印,我试图将其设置为
我想知道制作 std::list<>::splice 背后的基本原理是什么使引用被拼接到新容器中的子序列的迭代器无效。这对我来说有点不合逻辑,尤其是考虑到标准 std::container::swap
谁能告诉我为什么我应该使用 Azure Function 输出绑定(bind)(例如 SendGrid 或 Twilio)而不是仅仅在我的 C# 函数中显式使用适当的 SDK(例如 Sendgrid
我们在当前项目中使用 React 和 TypeScript,我遇到了以下行为。 import React, { Component } from 'react'; 我将上面的行替换为下面的行,因为它似
我是一名优秀的程序员,十分优秀!