- iOS/Objective-C 元类和类别
- objective-c - -1001 错误,当 NSURLSession 通过 httpproxy 和/etc/hosts
- java - 使用网络类获取 url 地址
- ios - 推送通知中不播放声音
假设我正在创建一个复制值的函数:
template<class ItInput, class ItOutput>
void copy(ItInput i, ItOutput o) { *o = *i; }
如果 i
和 o
指向同一个对象,我想避免赋值,因为这样赋值就没有意义了。
显然,我不能说 if (i != o) { ... }
,因为 i
和 o
可能是不同的类型,因为它们可能指向不同的容器(因此是无可比拟的)。不太明显的是,我也不能使用重载函数模板,因为迭代器可能属于不同的容器,即使它们具有相同的类型。
我最初的解决方案是:
template<class ItInput, class ItOutput>
void copy(ItInput i, ItOutput o)
{
if (&*o != static_cast<void const *>(&*i))
*o = *i;
}
但我不确定这是否有效。如果 *o
或 *i
实际上返回的是对象而不是引用怎么办?
一般有办法做到这一点吗?
最佳答案
我不认为这真的有必要:如果赋值代价高昂,类型应该定义一个赋值运算符来执行(相对便宜的)自赋值检查,以防止做不必要的工作。但是,这是一个有趣的问题,有很多陷阱,所以我会试着回答一下。
如果我们要组装一个适用于输入和输出迭代器的通用解决方案,我们必须注意几个陷阱:
输入迭代器是单遍迭代器:您只能通过迭代器对每个元素执行一次间接寻址,因此,我们不能通过迭代器执行一次间接寻址以获得指向值的地址第二次执行复制。
输入迭代器可以是代理迭代器。代理迭代器是一个迭代器,其 operator*
返回一个对象,而不是一个引用。使用代理迭代器,表达式 &*it
是病式的,因为 *it
是一个右值(可以重载一元- &
,但这样做通常被认为是邪恶和可怕的,而且大多数类型不会这样做)。
输出迭代器只能用于输出;您不能通过它执行间接寻址并将结果用作右值。您可以写入“指向元素”,但不能从中读取。
因此,如果我们要进行您的“优化”,我们只需要针对两个迭代器都是前向迭代器的情况进行优化(这包括双向迭代器和随机访问迭代器:它们也是前向迭代器).
因为我们很友善,所以我们还需要注意这样一个事实,尽管它违反了概念要求,但许多代理迭代器会歪曲它们的类别,因为拥有一个支持随机访问的代理迭代器非常有用在一系列代理对象上。 (我什至不确定如何在不这样做的情况下为 std::vector<bool>
实现高效的迭代器。)
我们将使用以下标准库 header :
#include <iterator>
#include <type_traits>
#include <utility>
我们定义了一个元函数,is_forward_iterator
,它测试一个类型是否是一个“真正的”前向迭代器(即,不是一个代理迭代器):
template <typename T>
struct is_forward_iterator :
std::integral_constant<
bool,
std::is_base_of<
std::forward_iterator_tag,
typename std::iterator_traits<T>::iterator_category
>::value &&
std::is_lvalue_reference<
decltype(*std::declval<T>())
>::value>
{ };
为简洁起见,我们还定义了一个元函数,can_compare
,它测试两种类型是否都是前向迭代器:
template <typename T, typename U>
struct can_compare :
std::integral_constant<
bool,
is_forward_iterator<T>::value &&
is_forward_iterator<U>::value
>
{ };
然后,我们将编写 copy
的两个重载函数并使用 SFINAE 根据迭代器类型选择正确的重载:如果两个迭代器都是前向迭代器,我们将包含检查,否则我们将排除检查并始终执行赋值:
template <typename InputIt, typename OutputIt>
auto copy(InputIt const in, OutputIt const out)
-> typename std::enable_if<can_compare<InputIt, OutputIt>::value>::type
{
if (static_cast<void const volatile*>(std::addressof(*in)) !=
static_cast<void const volatile*>(std::addressof(*out)))
*out = *in;
}
template <typename InputIt, typename OutputIt>
auto copy(InputIt const in, OutputIt const out)
-> typename std::enable_if<!can_compare<InputIt, OutputIt>::value>::type
{
*out = *in;
}
简单易行!
关于c++ - 是否可以测试两个迭代器是否指向同一个对象?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/11661261/
我有一个 if 语句,如下所示 if (not(fullpath.lower().endswith(".pdf")) or not (fullpath.lower().endswith(tup
然而,在 PHP 中,可以: only appears if $foo is true. only appears if $foo is false. 在 Javascript 中,能否在一个脚
XML有很多好处。它既是机器可读的,也是人类可读的,它具有标准化的格式,并且用途广泛。 它也有一些缺点。它是冗长的,不是传输大量数据的非常有效的方法。 XML最有用的方面之一是模式语言。使用模式,您可
由于长期使用 SQL2000,我并没有真正深入了解公用表表达式。 我给出的答案here (#4025380)和 here (#4018793)违背了潮流,因为他们没有使用 CTE。 我很欣赏它们对于递
我有一个应用程序: void deleteObj(id){ MyObj obj = getObjById(id); if (obj == null) { throw n
我的代码如下。可能我以类似的方式多次使用它,即简单地说,我正在以这种方式管理 session 和事务: List users= null; try{ sess
在开发J2EE Web应用程序时,我通常会按以下方式组织我的包结构 com.jameselsey.. 控制器-控制器/操作转到此处 服务-事务服务类,由控制器调用 域-应用程序使用的我的域类/对象 D
这更多是出于好奇而不是任何重要问题,但我只是想知道 memmove 中的以下片段文档: Copying takes place as if an intermediate buffer were us
路径压缩涉及将根指定为路径上每个节点的新父节点——这可能会降低根的等级,并可能降低路径上所有节点的等级。有办法解决这个问题吗?有必要处理这个吗?或者,也许可以将等级视为树高的上限而不是确切的高度? 谢
我有两个类,A 和 B。A 是 B 的父类,我有一个函数接收指向 A 类型类的指针,检查它是否也是 B 类型,如果是将调用另一个函数,该函数接受一个指向类型 B 的类的指针。当函数调用另一个函数时,我
有没有办法让 valgrind 使用多个处理器? 我正在使用 valgrind 的 callgrind 进行一些瓶颈分析,并注意到我的应用程序中的资源使用行为与在 valgrind/callgrind
假设我们要使用 ReaderT [(a,b)]超过 Maybe monad,然后我们想在列表中进行查找。 现在,一个简单且不常见的方法是: 第一种可能性 find a = ReaderT (looku
我的代码似乎有问题。我需要说的是: if ( $('html').attr('lang').val() == 'fr-FR' ) { // do this } else { // do
根据this文章(2018 年 4 月)AKS 在可用性集中运行时能够跨故障域智能放置 Pod,但尚不考虑更新域。很快就会使用更新域将 Pod 放入 AKS 中吗? 最佳答案 当您设置集群时,它已经自
course | section | type comart2 : bsit201 : lec comart2 :
我正在开发自己的 SDK,而这又依赖于某些第 3 方 SDK。例如 - OkHttp。 我应该将 OkHttp 添加到我的 build.gradle 中,还是让我的 SDK 用户包含它?在这种情况下,
随着 Rust 越来越充实,我对它的兴趣开始激起。我喜欢它支持代数数据类型,尤其是那些匹配的事实,但是对其他功能习语有什么想法吗? 例如标准库中是否有标准过滤器/映射/归约函数的集合,更重要的是,您能
关闭。这个问题不符合Stack Overflow guidelines .它目前不接受答案。 这个问题似乎与 help center 中定义的范围内的编程无关。 . 关闭 9 年前。 Improve
我一直在研究 PHP 中的对象。我见过的所有示例甚至在它们自己的对象上都使用了对象构造函数。 PHP 会强制您这样做吗?如果是,为什么? 例如: firstname = $firstname;
...比关联数组? 关联数组会占用更多内存吗? $arr = array(1, 1, 1); $arr[10] = 1; $arr[] = 1; // <- index is 11; does the
我是一名优秀的程序员,十分优秀!