C标准可能不清楚是否应该允许？
它规定：要求：结果不得在[第一,最后一个]范围内.
一个nullptr似乎可以满足这个要求.
#include <vector>
#include <algorithm>
int main() {
std::vector<int> vec;
int* dest = nullptr;
// The range [begin(vec),end(vec)) is empty,so dest should never be accessed.
// However,it results in an assertion warning in VS2013.
std::move(std::begin(vec),std::end(vec),dest);
}
解决方法
Effects: Copies elements in the range
[first,last)into the range[result,result + (last - first))starting fromfirstand
proceeding tolast.
作为第一个== last,那么范围[result,result 0]必须是一个有效的范围.
[iterator.requirements.general] / p7状态：
A range
[i,i)is an empty range; …Range [i,j)is valid if and only ifjis reachable fromi.
同一节的p6说明：
An iterator
jis called reachable from an iteratoriif and only
if there is a finite sequence of applications of the expression++i
that makesi == j.
从这些段落我得出以下结论：
int* dest = nullptr;
然后,[dest,dest]形成一个有效的空范围.所以效果：段落的第一句话对我来说似乎很好：
For each non-negative integer
n < (last - first),performs*(result + n) = *(first + n).
没有非负整数n < 0,因此不能执行任务.所以第二句不禁止dest == nullptr.
Returns:
result + (last - first).
[expr.add] / p8具体允许一个向任何指针值添加0,结果比较等于原始指针值.因此,dest 0是等于nullptr的有效表达式. Returns：子句没有问题.
Requires:
resultshall not be in the range[first,last).
我认为没有合理的方式来解释dest将是“空”.
Complexity: Exactly
last - firstassignments.
这证实没有任何作业可以完成.
我可以在标准中找不到任何声明,使这个例子除了形式很好.
