- android - RelativeLayout 背景可绘制重叠内容
- android - 如何链接 cpufeatures lib 以获取 native android 库?
- java - OnItemClickListener 不起作用,但 OnLongItemClickListener 在自定义 ListView 中起作用
- java - Android 文件转字符串
使用 c++11 和 c++14 库概念,c++ 标准库的有效实现可以创建一个以概念为模板的函数的专门版本,以利用子概念的附加功能进行优化单独使用基本概念是不可能的,例如 std::vector
的 InputIterator
构造函数,以及满足 RandomAccessIterator
要求的迭代器>?
// specified by standard
vector(InputIt begin, InputIt end, const Allocator& alloc = Allocator());
// is this specialization allowed in an implementation if it provides the same functionality?
vector(RandomAccessIt begin, RandomAccessIt end, const Allocator& alloc = Allocator());
这里,InputIt
是满足 InputIterator
要求的类型概念,并且 RandomAccessIt
满足 RandomAccessIterator
的要求.值得注意的是,这个概念不需要找到两个迭代器之间的差异,而它的曾孙概念 RandomAccessIterator
确实需要
It a,b;
It::difference_type c = a - b;
有效。在 RandomAccessIterator
也是一个概念实现的情况下,找到两个迭代器之间的差异将有助于 std::vector
的 InputIterator
构造函数通过提供的迭代器,因为它允许实现预先分配最终 vector 所需的空间,而不是在构造期间多次调整它的大小。
我认为它是有效的,因为标准偶尔会使用 as-if 规则,例如继承层次结构中虚函数的协变返回类型。然而,情况之间存在相当明显的差异,因此我也可以看出协变返回类型背后的逻辑可能不一定已转移到这种情况。
重申一下:C++ 标准库的有效实现是否可以创建一个以概念为模板的函数的专门版本,以利用子概念的附加功能进行优化,而单独使用基本概念是不可能的?
注意:我没有用 c++-concepts 标记这个问题因为据我所知,该标签适用于 Concepts-Lite 和 Concepts TS,而这个问题是关于 c++11 和 c++14 中的库概念
最佳答案
无法从外部确定您在 C++ 中使用给定签名调用了哪个构造函数。
因此,vector
签名的确切细节可以根据 as-if 规则进行更改,只要所有指定的构造函数都可以被调用,您获得的行为满足记录的功能,并且任何无效的构造函数参数仍然无效(因为外部代码可以进行 SFINAE 测试以确定给定的一组参数是否会构造一个 std::vector
)。
正如 OP 和评论所指出的,许多标准库实现仅使用标签分派(dispatch)来转发到更高效、更专业的版本。
感兴趣的是构造函数上下文外部的答案,您可以在其中检测具有特定签名(而不仅仅是兼容性)的函数,并且可以区分不同的函数。我不知道这里的答案,但我的(未经验证的)印象是,与标准中描述的确切签名不匹配的函数有时实际上会出现在 std
库中。
关于c++ - 标准库实现专门化以具有子概念的概念为模板的函数是否合法?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/34189023/
namespace std { template <> class hash{ public : size_t operator()( cons
我正在构建一个 Javascript 交互性有限的 Django 应用程序,并且正在研究如何将 Vue 模板与 Django 模板合并以实现相同的内容。 想象一个无限滚动的页面,其中 SEO 非常重要
我需要一个由游戏逻辑组成的外部类,调用 LitElement 组件,并向其传递一个 html 模板文字,该组件将使用该文字来更新其自己的 html 模板文字的一部分。 在下面的代码中,您将看到组件的一
很简单,我不想在 html 文件中定义所有 Handlebars 模板 我试过了 但这并没有奏效。我是否可以不以编程方式定义模板,甚至只是加载 Handlebars 文件,以便我可以重用,而且我觉得
在此代码中,j 正确地成为对象:j.name、j.addr、j.city、j.state 和 j.zip。但是,成功函数有一个 JavaScript 错误 .tmpl() 不是函数。 {{t
Django模板不会?点进来,总结了模板语法传值取值、过滤器和自定义过滤器、模板标签的分类、中间件403报错如何解决、如何继承模板~👆 Django 模板 模板传值取值 后端传值 键值对形式:{‘n
哈喽大家好,我是鹿 九 丸 \color{red}{鹿九丸}鹿九丸,今天给大家带来的是C++模板。 如果大家在看我的博客的过程中或者学习的过程中以及在学习方向上有什么问题或者想跟我交流的话可以加我的企
我正在用 PHP 编写一个简单的模板层,但我遇到了一些困难。目前它是这样工作的: 首先,我使用 fetch_template 从数据库中加载模板内容 - 这可行(如果您有兴趣,我会在启动时收集所有模板
我正在制作有关模板的 Django 教程。我目前处于此代码: from django.template import Template, Context >>> person = {'name': '
我正在使用 Jquery 模板来显示传入的 JSON 数据我想将模板加载到可缓存的外部文件中。我该怎么做? 更新 http://encosia.com/2010/12/02/jquery-templa
这是我的观点.py: from django.http import HttpResponse from django.template.loader import get_template from
我试图说服一位同事在项目的前端使用 Mustache/Hogan,我提出了以下建议: 有一个 templates.js 文件,大致如下所示: var tpl_alert = '{{msg}}'; va
我想创建一个通用的数组函数。在我的 API 中,我有一个通用容器,我需要将其转换为正确的类,但我想让它通用 template void UT::printArray(CCArray* arr, T t
有谁知道是否有办法在 Genshi 中创建 javascript 模板?我的意思是,我需要一个 .js 文件,可以在其中使用 等指令。等等。 有什么想法吗?谢谢! 最佳答案 你可以直接在html中这
我想知道是否可以设置某种 HTML 模板系统,基本上我有 3 个不同的文件: - header.html - footer.html - landing.html(landing.html 是包含页面
我正在尝试构建以下 HTML 模板: 这很简单,如果我使用红色容器 1-4,语法如下: 1 2 3 4 5 6 7 8 9 https://jsfi
#include "boost/numeric/ublas/matrix.hpp" using namespace boost::numeric::ublas; template class Lay
我在一个类中有一个函数,它传递了一个函数及其参数,然后将它们绑定(bind)到一个函数调用中并调用该函数等。 这已经被快速组合在一起以测试我知道代码不是很好的概念。 class Profiling {
是否有一个 c++ 结构或模板(在任何库中)允许我在十进制和任何其他基数之间进行转换(很像 bitset 可以做的)? 最佳答案 是的,你可以使用unsigned int: unsigned int
数据类型给程序设计带来的困扰及解决方案 int maxt(int, int); double maxt(double, double); 若有一种占位符T,能够代替类型,便可以简化代码的冗余编写
我是一名优秀的程序员,十分优秀!