- iOS/Objective-C 元类和类别
- objective-c - -1001 错误,当 NSURLSession 通过 httpproxy 和/etc/hosts
- java - 使用网络类获取 url 地址
- ios - 推送通知中不播放声音
我读了“The C++ Programming language 4th edition, 1st printing, by Bjarne Stroustrup”这本书(来自 Amazon.com)。第 785 页。Stroustrup 正在解释他如何在使用“std::conditional + std::make_unsigned”时消除“::type”的显式书写,使用“类型别名”(关键字“using”)。但是在“std::conditional + std::make_unsigned”上使用“类型别名”会导致编译错误。到目前为止,一切都应该如此。他继续展示如何使用“模板类型函数的延迟评估”来消除这些编译错误。
问题在线Atype<make_unsigned<string>
和 myType2<string> ...
.
我使用的是 g++ 4.8.2。
#include <type_traits>
#include <string>
#include <iostream>
#include <typeinfo> // for typeid(...)
using namespace std;
template<class T>
struct ErrIndicator {
typedef ErrIndicator<T> type;
};
template<bool C, class T, class F>
using Conditional = typename conditional<C,T,F>::type;
template<typename T>
using Make_unsigned = typename make_unsigned<T>::type;
template<template<typename ...> class F, typename... Args>
using Delay = F<Args ...>;
template<class T>
using myType1 = Conditional<is_integral<T>::value,
Make_unsigned<T>,
ErrIndicator<T>
>;
template<class T>
using myType2 = Conditional<is_integral<T>::value,
Delay<Make_unsigned, T>, // delayed evaluation
ErrIndicator<T>
>;
template<class T>
using myType4 = Conditional<is_integral<T>::value,
make_unsigned<T>,
ErrIndicator<T>
>;
template<typename T>
class Atype {};
template<typename T>
void func1(T &ia /* output param */) {
cout << "unsigned integral type" << endl;
ia = 4; // "unsigned integral type" computation
}
template<typename T>
void func1(ErrIndicator<T> &) {
cout << "non integral type: " << typeid(T).name() << endl;
}
int main() {
myType1<int> var1a; // OK
// myType1<string> var1b; // Error; The book says error
// // should occur here. Here I understand.
myType2<int> var2a; // OK
// myType2<string> var2b; // Error - why?. Maybe I didn't get it,
// // but I understand the book as no
// // error should occur here.
// // @DyP answered it.
Atype<make_unsigned<string> > var3; // OK here, look below at @DyP
// // for "foo, bar, X" why
// // make_unsigned<string> is not an error here.
// make_unsigned<string> var6; // Error
// Atype<make_unsigned<string>::type > var4; // Error
Atype<make_unsigned<int>::type > var5; // OK
//-------------
myType4<string>::type var7; // Look below for "myType3", where @Yakk
// // obviates the necessity to write "::type".
// rsl7 = 1:
cout << "rsl7 = " << is_same<decltype(var7), ErrIndicator<string> >::value << endl;
func1(var7); // "non integral type" overload of func1()
//---------
myType4<int>::type var8;
// rsl8 = 1:
cout << "rsl8 = " << is_same<decltype(var8), unsigned int>::value << endl;
func1(var8); // "unsigned integral type" overload of func1()
}
最佳答案
我认为 Stroustrup 打算延迟对 make_unsigned<T>::type
的访问,因为此嵌套类型不是为非整数类型定义的。然而,使用别名模板对于 clang++ 和 g++ 似乎不够:它们解决了 Delay<Make_unsigned,T>
直接到Make_unsigned<T>
, 这到 make_unsigned<T>::type
.
整个例子是:
template<typename C, typename T, typename F>
using Conditional = typename std::conditional<C,T,F>::type;
template<typename T>
using Make_unsigned = typename std::make_unsigned<T>::type;
// the example
Conditional<
is_integral<T>::value,
Delay<Make_unsigned,T>,
Error<T>
>
// "The implementation of a perfect `Delay` function is nontrivial,
// but for many uses this will do:"
template<template<typename...> class F, typename... Args>
using Delay = F<Args...>;
问题当然是,Delay<Make_Unsigned,T>
是什么时候?解决?对于类模板(不是别名模板),它们仅在需要完整的对象类型或程序的语义受到影响时才隐式实例化。考虑:
#include <type_traits>
using namespace std;
template<class T>
struct foo
{
static_assert(is_same<T, void>{}, "!");
};
template<class X>
struct bar
{
// without the line below, no error!
//X x;
};
int main()
{
bar<foo<int>> b;
}
然而,别名模板并非如此。它们被替换为 [temp.alias]/2
When a template-id refers to the specialization of an alias template, it is equivalent to the associated type obtained by substitution of its template-arguments for the template-parameters in the type-id of the alias template.
恕我直言,这表明在上面的示例中,Delay<Make_unsigned,T>
相当于make_unsigned<T>::type
,将实例化 make_unsigned<string>::type
并导致编译时错误。
关于c++ - 模板类型函数的延迟评估,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/20851788/
我正在使用一个简单的脚本来延迟加载页面上的所有图像;图像源的路径包含在 data-src 属性中,然后放入 img 标记的实际 src 属性中。几乎大多数(?)延迟加载方法的实现都是如何工作的。 这是
我有一个具有多层 (SKNodes) 背景、游戏层、前景和 HUD 的场景,每个场景中都有多个 SKSpriteNode,用于滚动和您可以收集和点击的对象。 hud 层只有一个 SKSpriteNod
我有一个 Controller 函数来创建一些东西。调用该函数时,将运行 setInterval 来获取项目的状态。 这是服务: (function () { 'use strict';
在我的应用程序中,我播放音频直播,延迟非常重要。我正在使用 AVPlayer,但启动需要 5-6 秒,并且我需要最多 3 秒的延迟。我怎样才能更快地开始播放并减少延迟?设置一个小缓冲区就可以了?如何使
我有一个恼人的问题。我有这个简单的服务器代码(比方说): #!/usr/bin/env python3 import wsgiref.simple_server def my_func(env, st
我是 jquery deferreds 的新手。这里我有一个简单的example 。 谁能告诉我为什么在其他函数完成之前就触发完成函数(“现在是我的时间”)? 这里的人 example还创建一个延迟对
正在放置关闭 之前的标签标记相同的 sa 将它们放在 中部分并指定 defer="defer"属性? 最佳答案 是/否。 是的,因为放置 defer 标签会等到文档加载完毕后再执行。 否,因为放置
我知道Javascript没有delay(500)方法,它会延迟执行500毫秒,所以我一直试图通过使用setTimeout和setInterval来解决这个问题。 for(var i =0; i< 1
我们有一个读写主服务器和复制的从读服务器。在某些网络用例中,数据被发布并立即读取以发送回服务器。立即读取是在读取从属设备上完成的,由于延迟,数据尚未在那里更新。 我知道这可能是复制设置的一个常见问题,
我有以下 dag 设置以从 2015 年开始运行追赶。对于每个执行日期,任务实例在一分钟内完成。但是,第二天的任务仅在 5 分钟窗口内开始。例如。上午 10:00、上午 10:05、上午 10:10
当我在 WatchKit 中推送一个新 Controller 并在新 Controller 的awakeWithContext: 方法中使用 setTitle 时,它需要一秒钟左右来设置标题,直到
我将图像显示为 SVG 文件和文本。 出于某种原因,svg 图像的渲染速度比屏幕的其余部分慢,从而导致延迟,这对用户体验不利。 这种延迟正常吗?我该怎么做才能让整个屏幕同时呈现? Row( ma
我正在考虑在我的应用程序中使用 firebase 动态链接。我需要将唯一标识符从电子邮件生成的链接传递到用户应用程序中。当用户安装了应用程序时,这可以正常工作,但是,我对未安装应用程序的方式有些困惑。
您知道如何使用 JQuery 的延迟方法和一个函数来检测所有已更改的表单并将每个表单作为 Ajax 帖子提交吗? 如果我只列出大量表单提交,我可以得到同样的结果,但如果我使用... $('form.c
我需要一种方法来通过回调获取不同的脚本。这个方法工作正常: fetchScripts:function() { var _this=this; $.when( $.aj
我编写了一个 jquery 脚本,允许我淡入和淡出 div,然后重复。该代码运行良好。但是,当我尝试添加延迟(我希望 div 在淡出之前保持几秒钟)时,它无法正常工作。我尝试在代码中的几个地方添加延迟
我正在努力在延迟、带宽和吞吐量之间划清界限。 有人可以用简单的术语和简单的例子来解释我吗? 最佳答案 水比喻: 延迟 是穿过管子所需的时间。 带宽是管有多宽。 水流量为吞吐量 车辆类比: 从源到目的地
我有一个 CRM 系统,当添加联系人时,我想将他们添加到会计系统中。 我在 CRM 系统中设置了一个 Webhook,将联系人传递给 Azure 函数。 Azure 函数连接到会计系统 API 并在那
我有一个 Android AudioTrack,例如: private AudioTrack mAudioTrack; int min = AudioTrack.getMinBufferSize(sa
我正在 React 中开发一个 TODO 应用程序,并尝试构建将删除选中项目延迟 X 秒的功能,并且如果在这段时间内未选中该框,它将不会被删除。 我遇到的主要问题是当用户在同一 X 秒内检查、取消检查
我是一名优秀的程序员,十分优秀!