MPL 参考手册：at - Boost C++ 函数库

at

提要

template<
      typename Sequence
    , typename N
    >
struct at
{
    typedef unspecified type;
};

template<
      typename AssocSeq
    , typename Key
    , typename Default = unspecified
    >
struct at
{
    typedef unspecified type;
};

描述

at是一个重载名称

at<Sequence,N>从 Forward Sequence 的开头返回第N- 个元素序列.
at<AssocSeq,Key,Default>在 Associative Sequence 中返回与键关联的第一个元素AssocSeq或Default中。如果不存在该元素，则返回

头文件

#include <boost/mpl/at.hpp>

模型

标签分派元函数

参数

Parameter	要求	描述
`序列`	Forward Sequence	要检查的序列。
`AssocSeq`	关联序列	要检查的序列。
`N`	整数常量	从序列开头算起的偏移量，指定要检索的元素。
`键`	任何类型	要检索的元素的键。
`Default`	任何类型	如果找不到元素，则返回的默认值。

表达式语义

对于任何 Forward Sequences，以及 Integral Constantn:

typedef at<s,n>::type t;

返回类型

一个类型。

前置条件

0 <= n::value < size<s>::value.

语义

等同于

typedef deref< advance< begin<s>::type,n >::type >::type t;

对于任何 Associative Sequences，以及任意类型keyandx:

typedef at<s,key,x>::type t;

返回类型	一个类型。
语义	如果`has_key<s,key>::value == true`, `t`是与`key`关联的值类型；否则`t`与...相同`x`.

typedef at<s,key>::type t;

返回类型

一个类型。

语义

等同于

typedef at<s,key,void_>::type t;

复杂度

序列原型	复杂度
Forward Sequence	线性。
随机访问序列	摊销常数时间。
关联序列	摊销常数时间。

示例

typedef range_c<long,10,50> range;
BOOST_MPL_ASSERT_RELATION( (at< range, int_<0> >::value), ==, 10 );
BOOST_MPL_ASSERT_RELATION( (at< range, int_<10> >::value), ==, 20 );
BOOST_MPL_ASSERT_RELATION( (at< range, int_<40> >::value), ==, 50 );

typedef set< int const,long*,double > s;

BOOST_MPL_ASSERT(( is_same< at<s,char>::type, void_ > ));
BOOST_MPL_ASSERT(( is_same< at<s,int>::type, int > ));

另请参阅

Forward Sequence, Random Access Sequence, Associative Sequence, at_c, front, back 关联的值类型