它是非标准的std :: pair实现,编译器错误还是非标准代码？

Question

以下代码在VS2005和gcc-4.3.4上编译.

#include <algorithm>
#include <iostream>

template<class C, class T, T C::*x>
struct X { };

typedef std::pair<int,int> Pr;
X<Pr, int, &Pr::first> var;

int main()
{
    std::cout << "hello\n";
}

但它无法在VS2010上编译,并显示错误消息:

1>d:\a\testvs10\testvs10.cpp(13): error C2440: 'specialization' : cannot convert from 'int std::_Pair_base<_Ty1,_Ty2>::* ' to 'int std::pair<_Ty1,_Ty2>::* '
1>          with
1>          [
1>              _Ty1=int,
1>              _Ty2=int
1>          ]
1>          Standard conversion from pointer-to-member of base to pointer-to-member of derived is not applied for template arguments

据我所知,在微软的VS2010实现中Pr::first实际上是其中的一员_Pair_base.但是,AFAIK,没关系.&Pr::first仍然必须是一种类型int Pr::*.请注意,以下代码编译正常:

int Pr::* x = &Pr::first;

那么,它是非标准的std :: pair实现,编译器错误还是非标准代码？

Answer 1

该标准提供了对一对的清晰定义,在C++ 03和C++ 11中,该对包含两个成员属性,并提供了对的外观的精确代码.我认为这种行为(将成员移动到基类)作为违反合同的行为,因为您的代码根据标准有效,并且被实施拒绝.

因此,VC2010的实现并不符合这一特定情况.