我之前认为STL函数只能与STL数据容器（如vector）一起使用，直到我看到了这段代码：
#include <functional>
#include <iostream>
#include <numeric>
using namespace std;
int main()
{
int a[] = {9, 8, 7};
cerr << "Sum: " << accumulate(&a[0], &a[3], 0, plus<int>()) << endl;
return 0;
}
使用g++编译并运行时没有任何警告或错误，输出结果正确，得到和24相等的总和。
在C++/STL标准下，是否允许使用STL函数处理数组？如果是，那么古老的数组结构如何适应STL的迭代器、容器和函数的大计划？此外，在使用这种方法时，程序员需要注意哪些警告或细节？
你问到了一个数组。你可以轻松地获取其元素的指针，因此问题基本上就归结为指针是否可以与STL函数透明地使用。指针实际上是最强大的迭代器类型之一。存在不同种类的迭代器：
现在，第二组中的每个迭代器都支持所有在它之前提到过的迭代器所具有的特性。指针模拟了最后一种迭代器 - 随机访问迭代器。您可以添加/减去任意整数并进行读写操作。除了输出迭代器之外，所有迭代器都有一个operator->，可用于访问我们迭代的元素类型的成员。
通常，迭代器具有几个typedefs作为成员：
std::distance返回）std::input_iterator_tag、...、std::random_access_iterator_tag。算法可以用它来重载不同种类的迭代器（例如，std::distance对于随机访问迭代器更快，因为它只需返回a - b）现在，指针当然没有这些成员。C++有一个iterator_traits模板，并为指针进行了特化。因此，如果您想获取任何迭代器的值类型，则执行以下操作：
iterator_traits<T>::value_type
std::vector<T>::iterator 的一个可能实现方法就是将其作为 T*。begin() 和 end() 方法来查找有效的迭代器范围，但这是使用 C 风格数组时始终存在的问题。vector<whatever>::iterator是whatever *。使用STL函数来操作数组是否符合标准？
是的。
如果是，那么过时的数组结构如何适应模板化迭代器、容器和函数的STL计划？
迭代器的设计与指针具有类似的语义。
此外，在这种用法中，程序员需要注意哪些注意事项或细节？
我更喜欢下面这种用法：
int a[] = {9, 8, 7};
const size_t a_size = lengthof( a );
cerr << "Sum: " << accumulate( a, a + a_size , 0, plus<int>()) << endl;
或者更好、更安全的做法是使用boost::array：
boost::array< int, 3 > a = { 9, 8, 7 };
cerr << "Sum: " << accumulate( a.begin(), a.end(), 0, plus<int>()) << endl;
关于Mykola的回答，我想发表一些评论：（链接）
数组并不是指针，即使它们很容易退化为指针。编译器对数组比容器有更多的信息：
namespace array {
template <typename T, int N>
size_t size( T (&a)[N] ) {
return N;
}
template <typename T, int N>
T* begin( T (&a)[N] ) {
return &a[0];
}
template <typename T, int N>
T* end( T (&a)[N] ) {
return &a[N];
}
}
int main()
{
int theArray[] = { 1, 2, 3, 4 };
std::cout << array::size( theArray ) << std::endl; // will print 4
std::cout
<< std::accumulate( array::begin( theArray ), array::end( theArray ), 0, std::plus<int>() )
<< std::endl; // will print 10
}
int a[]（注意没有大小）的函数，那么这类似于定义一个 int* 参数，大小信息会丢失。编译器无法在函数内确定数组的大小：数组已经衰变为指针。int a[10]，则信息也会丢失dribeas@golden:array_size$ cat test.cpp
void f( int (&x)[10] ) {}
int main()
{
int array[20];
f( array ); // invalid initialization of reference of type 'int (&)[10]' from...
}
不要使用数组，然后担心将它们传递给STL函数（这可能被称为“前向兼容性”，因此很容易出错），我认为你应该使用std::vector，并使用其（稳定可靠的）向后兼容性，以便在需要时使用接受数组的函数。
所以你的代码变成了：
#include <functional>
#include <iostream>
#include <numeric>
#include <vector>
using namespace std;
int main()
{
vector<int> a(3);
a[0] = 9;
a[1] = 8;
a[2] = 7;
cerr << "Sum: " << accumulate(a.begin(), a.end(), 0, plus<int>()) << endl;
return 0;
}
如果您需要将“a”传递给C API，由于向量与数组具有二进制兼容性，因此可以这样做。
介绍了 boost::array（一个简单的模板包装器，用于传统数组，还定义了 STL 兼容的迭代器类型和 begin()/end() 等），其中包含了一些有趣的讨论，关于它们与 STL 的兼容性程度。
是的，这是故意的。迭代器可以实现为指针，因此您可以使用指针作为迭代器。
由于int a[]可以被视为指针。在C++中，指针可以被递增，并指向下一个元素。由于指针可以进行比较，因此指针可以用作迭代器。
标准24.1节中有指向迭代器的要求。而指针符合这些要求。以下是其中一些要求：
所有迭代器i都支持表达式*i
就像指向数组的常规指针保证存在指向数组最后一个元素之后的指针值一样，对于任何迭代器类型，都存在一个迭代器值，该值指向相应容器的最后一个元素之后。