C 数组大小作为函数？

Question

可能的重复：
这个“数组大小”模板函数如何工作？

在 C++ (C++0x) 中是否有可能在没有宏的情况下实现 NARR？

const static pair<string,int> data[] = {
    {"Montag",1}, {"Dienstag",2}, {"Mittwoch",3}, {"Donnerstag",4},
    {"Freitag",5}, {"Samstag",6}, {"Sonntag",7}
};
#define NARR(A) (sizeof(A)/sizeof(*A))
const static map<string,int> german_weekdays(data, data+NARR(data));

一个简单的函数是不可能的，因为这样 [] 就会丢失其大小信息并变成另一个指针：

size_t narr(sometype arr[]) { /* won't work */ }

模板？超载？魔法？

Answer 1

在 C++ 中这是可能的：

template< typename T, std::size_t Size >
std::size_t size(const T (&)[Size])
{
  return Size;
}

与宏解决方案相比，它的优点是，如果您尝试传递指向此的指针，编译器将发出令人讨厌的错误消息。

Answer 2

在 C++0x 中：

#include <iterator>

const static map<string,int> german_weekdays(data, std::end(data));

如果您愿意，您也可以使用 std::begin(data) 来实现对称性或通用性[*]。无论如何，您可能可以使用初始值设定项列表而不是数组...

[*] 尽管为了完全通用性，您可能应该这样做：

using std::begin;
using std::end;
begin(data), end(data);

原因是新的“基于范围的 for 循环”语法相当于使用 begin 和 end 没有限定，但使用 std 作为 ADL 的关联命名空间。与 std::swap 一样，类型的作者可能会提供旨在通过 ADL 找到的 begin 和 end 函数。他们可能应该提供 begin() 和 end() 成员函数，其中 std::begin 和 std::end 将调用。但是，如果他们提供的东西适用于基于范围的 for，但不适用于您的代码，那么您将不得不争论谁应该更改。

Answer 3

我现在无法测试这个，因为我已经离开了一段时间，最新的 GCC 4.6 拒绝编译，但是 constexpr 应该可以很快解决这个问题。当然，最好利用史蒂夫的建议来回避这个问题。

template< typename T, size_t N >
constexpr size_t narr( T const (&)[ N ] )
    { return N; }