（函数）模板的 C++ 非类型参数是否有序？

Question

我在当前项目中托管SpiderMonkey，并希望模板函数生成一些简单的属性获取/设置方法，例如：

template <typename TClassImpl, int32 TClassImpl::*mem>
JSBool JS_DLL_CALLBACK WriteProp(JSContext* cx, JSObject* obj, jsval id, jsval* vp)
{
    if (TClassImpl* pImpl = (TClassImpl*)::JS_GetInstancePrivate(cx, obj, &TClassImpl::s_JsClass, NULL))
        return ::JS_ValueToInt32(cx, *vp, &(pImpl->*mem));
    return JS_FALSE;
}

使用：

::JSPropertySpec Vec2::s_JsProps[] = {
    {"x", 1, JSPROP_PERMANENT, &JsWrap::ReadProp<Vec2, &Vec2::x>, &JsWrap::WriteProp<Vec2, &Vec2::x>},
    {"y", 2, JSPROP_PERMANENT, &JsWrap::ReadProp<Vec2, &Vec2::y>, &JsWrap::WriteProp<Vec2, &Vec2::y>},
    {0}
};

但是，如果我添加其他成员类型，这可以正常工作：

template <typename TClassImpl, JSObject* TClassImpl::*mem>
JSBool JS_DLL_CALLBACK WriteProp(JSContext* cx, JSObject* obj, jsval id, jsval* vp)
{
    if (TClassImpl* pImpl = (TClassImpl*)::JS_GetInstancePrivate(cx, obj, &TClassImpl::s_JsClass, NULL))
        return ::JS_ValueToObject(cx, *vp, &(pImpl->*mem));
    return JS_FALSE;
}

然后 Visual C++ 9 尝试将 JSObject* 包装器用于 int32 成员！

1>d:\projects\testing\jswnd\src\main.cpp(93) : error C2440: 'specialization' : cannot convert from 'int32 JsGlobal::Vec2::* ' to 'JSObject *JsGlobal::Vec2::* const '
1>        Types pointed to are unrelated; conversion requires reinterpret_cast, C-style cast or function-style cast
1>d:\projects\testing\jswnd\src\main.cpp(93) : error C2973: 'JsWrap::ReadProp' : invalid template argument 'int32 JsGlobal::Vec2::* '
1>        d:\projects\testing\jswnd\src\wrap_js.h(64) : see declaration of 'JsWrap::ReadProp'
1>d:\projects\testing\jswnd\src\main.cpp(93) : error C2440: 'initializing' : cannot convert from 'overloaded-function' to 'JSPropertyOp'
1>        None of the functions with this name in scope match the target type

令人惊讶的是，解析 JSObject* 会导致解析错误！ （意外的'(')。这可能是一个 VC++ 错误（任何人都可以测试“模板 void foo() {}”在 GCC 中编译吗？）。与“typedef JSObject* PObject; ..., PObject TClassImpl:: mem>"、void、struct Undefined* 和 double。由于函数用法是完全实例化的：“&ReadProp”，因此应该没有正常的函数重载语义起作用，它是在该点并优先于模板函数。这里的模板排序似乎失败了。

Vec2 只是：

class Vec2
{
public:
    int32 x, y;

    Vec2(JSContext* cx, JSObject* obj, uintN argc, jsval* argv);

    static ::JSClass s_JsClass;
    static ::JSPropertySpec s_JsProps[];
};

JSPropertySpec 在 OP 中的 JSAPI 链接中进行了描述，取自标头：

typedef JSBool
(* JS_DLL_CALLBACK JSPropertyOp)(JSContext *cx, JSObject *obj, jsval id,
                                 jsval *vp);

...

struct JSPropertySpec {
    const char      *name;
    int8            tinyid;
    uint8           flags;
    JSPropertyOp    getter;
    JSPropertyOp    setter;
};

Answer 1

很确定 VC++ 在这里有“问题”。 Comeau 和 g++ 4.2 都对以下程序感到满意：

struct X
{
    int i;
    void* p;
};

template<int X::*P>
void foo(X* t)
{
    t->*P = 0;
}

template<void* X::*P>
void foo(X* t)
{
    t->*P = 0;
}

int main()
{
    X x;
    foo<&X::i>(&x);
    foo<&X::p>(&x);
}

然而，VC++ 2008SP1 没有。

我没有时间通读我的标准以找出究竟是什么……但我认为 VC++ 在这里是错误的。

Answer 2

我当然不是模板专家，但这是否可以归结为尝试仅根据返回类型区分重载的微妙案例？

由于 C++ 不允许基于返回类型重载函数，可能同样的事情也适用于模板参数。

Answer 3

尝试将 JSObject * 更改为另一种指针类型，看看是否会重现错误。 JSObject 是在使用时定义的吗？另外，也许 JSObject* 需要放在括号中。