将数组显式衰减为指针

Question

将数组显式衰减为指针的最简洁和惯用的方法是什么？

---

例如，考虑一下您需要能够指导SFINAE或明确说明过载的情况：

template<typename T, std::size_t N> void foo(T(&x)[N]);
template<typename T>                void foo(T *x); 
//
int x[2] = {0, 1};
foo(x);

Answer 1

您可以使用以下其中一项：

foo(x + 0);
foo(+x);
foo(&x[0]); // assuming operator& has not been overloaded for T
foo(std::addressof(x[0])); // since C++11

Answer 2

最简洁和惯用的？ 我会说取第一个元素的地址

foo(&x[0]);

UPDATE

从c ++ 11开始，有一种标准的说法：

auto a = std::addressof(x[0]); // a will be * to int

adressof具有以下签名

template<class T> T* addressof(T& arg);

并获得对象或函数arg的实际地址， 即使存在重载运算符和

另一个想法（也有上述优点）就是写作

auto a = std::begin(x); // a will be * to int

另外这适用于不完整类型的数组，因为它不需要应用[0]

更新2

从c ++ 14开始，就有更明确的功能： std::decay

Answer 3

stock &x[0]总是让我感到尴尬，因为有问题的数组可能是一个不完整类型的数组，将一个下标运算符应用于一个数组当然是无效的。 考虑一下这个，

foo(&*x);

这只是比foo(+x)更多的字符，它的可读性和难度都要小得多。