3

我正在尝试将模板与泛型结合起来，重点是尽可能快地（合理地）访问原始/值类型的属性，最好将其保留在 C++/CLR 中。考虑这个简单的模板：

template< typename type >
class value_wrapper {
public:
    type value;
};

及其对应物：

generic< typename T >
public ref class ValueWrapper {
    ...
public:
    property T Value {
        T get() {
            if( T::typeid == System::Int32::typeid )
                return ( T )( ( value_wrapper< int > * )ptr )->value;
            ...branches for some other types...
            // if all else fails:
            return ( T )( Object ^ )( ( value_wrapper< gcroot< Object ^ > > * )ptr )->value;
        }
        ...
    }
    ...
private:
    void *ptr;
};

问题 1.当泛型的 MSIL 变成值类型的特化时，代码是否进一步优化？是否有可能在这里检查类型，例如，在ValueWrapper<int>非 int 类型的分支和类型比较本身将被优化掉？

现在，在每个方法中列出所有支持的类型有点痛苦，所以我为此创建了一个单独的函数：

template< typename action, typename context_type >
__forceinline
static bool apply( System::Type ^type, void *value, System::Object ^*box, context_type context ) {
    if( type == System::Int32::typeid )
        return action().operator()< int >( ( int * )value, context ), true;
    ...branches for some other types...
    // if all else fails:
    return action().operator()< gcroot< System::Object ^ > >( box, context ), false;
}

struct get_value {
    template< typename type, typename result_type >
    void operator () ( result_type *result, void *ptr ) {
        *result = ( ( value_wrapper< type > * )ptr )->value;
    }
};

generic< typename T >
public ref class ValueWrapper {
    ...
    property T Value {
        T get() {
            T result;
            System::Object ^box;
            return apply< get_value >( T::typeid, &result, &box, ptr ) ? result : ( T )box;
        }
        ...
    }
    ...
};

事实证明，这比原始代码慢了大约 3 倍。

问题 2.这里可以改变什么来让优化器使第二个实现的速度更接近第一个（理想情况下，速度差异在 10%-20% 之内）？

PS 这主要是关于 VC 2010。但是如果 VC 2012 在这方面有所不同，那也很高兴知道。

4

1 回答 1

1

经过一番修修补补和 MSIL 观察后，我对第二个问题有了答案：只需传递一个typeidgetter 函数而不是typeid它本身。框架在每次比较时请求类型信息似乎比将其存储到某个变量（旧type参数）中并重用它要容易得多。

使用这种方法，减速从 3 倍下降到 5-10%（！）。

问题 2 结束，问题 1 待定。

结果代码：

template< typename action, typename context_type >
__forceinline
static bool apply( System::Type ^type(), void *value, System::Object ^*box, context_type context ) {
    if( type() == System::Int32::typeid )
        return action().operator()< int >( ( int * )value, context ), true;
    if( type() == SupportedStruct::typeid )
        return action().operator()< SupportedStruct >( ( SupportedStruct * )value, context ), true;
    if( type() == System::String::typeid )
        return action().operator()< std::wstring >( ( System::String ^* )value, context ), true;
    // for both reference types and unknown value types:
    return action().operator()< gcroot< System::Object ^ > >( box, context ), false;
}

struct get_value {
    template< typename type, typename result_type >
    void operator () ( result_type *result, void *ptr ) {
        *result = ( ( value_wrapper< type > * )ptr )->value;
    }
    template< typename type >
    void operator () ( System::String ^*result, void *ptr ) {
        *result = gcnew System::String( ( ( value_wrapper< type > * )ptr )->value.c_str() );
    }
};

generic< typename T >
public ref class ValueWrapper {
    ...
public:
    property T Value {
        T get() {
            T result;
            System::Object ^box;
            return apply< get_value >( TypeGetter, &result, &box, ptr ) ? result : ( T )box;
        }
        ...
    }
    ...
private:
    void *ptr;
private:
    static System::Type ^TypeGetter() {
        return T::typeid;
    }
};
于 2012-08-14T11:56:23.277 回答