* STL 原代码里面的一段看不董鸟(VS2012 版本) ********

2013-08-07 06:56:34 689 阅读 AI 写同款 · GEO 优化AI 选题数据监测一键分发 ›

iOS In-App Purchase 自动续订订阅完整实现指南本文摘要：自动续订订阅是iOS应用变现的核心模式，适用于流媒体、云存储等持续服务场景。文章系统讲解了从配置到实现的完整流程：首先对比各类订阅模式特点，解析订阅生命周期和关键术语；然后详细说明App Store Connect中的订阅组创建、产品配置和服务器通知设置；最后展示客户端StoreKit实现方案，包括产品标识符定义、订阅管理器封装和支付队列观察机制。全文提供可落地的代码示例和技术细节，帮助开发者掌握自动续订订阅的全链路实现。阅读详情

std::function 里面的申明如下
template<class _Fty>
class function
: public _Get_function_impl<_Fty>::type
{....
};

里面使用了类 _Get_function_impl,但是类定义的时候只有一个参数，下面的宏定义，模版偏特化（专门化）_Get_function_impl 的时候，回多出很多参数。也就是有可能是这样的。

template<class _Tx> struct _Get_function_impl;
展开宏定义，有可能出现类似下面的定义
template<class _Tx，class _v0_t> struct _Get_function_impl<_Tx,_v0_t>
{
typedef _Func_class<_Ret,v0_t> type;
};

template<class _Tx，class _v0_t,class _v1_t> struct _Get_function_impl<_Tx,_v0_t,v1_t>
{
typedef _Func_class<_Tx,_v0_t,_v1_t> type;
};

这样，和第一个定义，只有一个模版参数 _Tx 的不符,这个是什么原因？？？

// TEMPLATE CLASS _Get_function_impl
template<class _Tx>
struct _Get_function_impl;

#define _CLASS_GET_FUNCTION_IMPL( \
TEMPLATE_LIST, PADDING_LIST, LIST, COMMA, CALL_OPT, X2, X3, X4) \
template<class _Ret COMMA LIST(_CLASS_TYPE)> \
struct _Get_function_impl<_Ret CALL_OPT (LIST(_TYPE))> \
{ /* determine type from argument list */ \
typedef _Func_class<_Ret COMMA LIST(_TYPE)> type; \
};

#define _CLASS_GET_FUNCTION_IMPL_CALLS( \
TEMPLATE_LIST, PADDING_LIST, LIST, COMMA, CALL_OPT, X2, X3, X4) \
_VARIADIC_CALL_OPT_X1(_CLASS_GET_FUNCTION_IMPL, \
TEMPLATE_LIST, PADDING_LIST, LIST, COMMA, __cdecl, X2, X3, X4)

_VARIADIC_EXPAND_0X(_CLASS_GET_FUNCTION_IMPL_CALLS, , , , )

...全文

Comsol 弧形声学换能器声聚焦仿真 1. 弧度和曲率半径：弧形声学换能器的形状和曲率半径对声聚焦效果有重要影响。通常，较小的曲率半径和较大的弧度可以实现更强的声聚焦效果。弧形声学换能器声聚焦是指将声波能量集中在弧形声学换能器的特定区域内，以实现更强的声场强度和分辨率。4. 数值仿真和优化：使用声学仿真软件进行数值仿真可以帮助设计和优化弧形声学换能器的声聚焦效果。通过调整几何参数、材料特性和激励信号等参数，可以模拟和优化声聚焦效果。2. 激励信号：通过调整激励信号的频率和幅值，可以实现声波在弧形声学换能器中的聚焦效果。阅读详情

hzhxxx

C++ 语言 65,214 成员 250,514 内容

+ 关注 + 加入社区

切换为时间正序

hzhxxx 2013-08-09

打赏
举报

问题终于搞清楚了。

sduxiaoxiang 2013-08-08

打赏
举报

stl代码真难看、。。

hzhxxx 2013-08-08

打赏
举报

template<class _Tx> struct _Get_function_impl; 的意思是说 _Get_function_impl 实例化的时候只能有一个模板实参。 template<class _Ret , class _V0_t> 声明新的特化可以接受数目不同的形参，但必须保证 _Get_function_impl<...> 这种特化形式的写法中 ... 只对应包含一个实参，因为这时候会检查主模板，参数个数必须一致。 template<class _Tx,class A,class B> struct _Get_function_impl<_Tx __stdcall(A,B)>{}; 这个能通过编译 template<class _Tx,class A,class B,class C> struct _Get_function_impl<_Tx __stdcall(A,B),c>{}; 这个却不能通过编译这个整明白了，我想了也是这样。 ri_aje 说明白了。

ri_aje 2013-08-08

打赏
举报

引用 14 楼 hzhxxx 的回复:

template<class _Tx> struct _Get_function_impl; 这个定义已经限定了最多只能有一个模版参数，当然，这个定义是不是限定了最多只能有一个模版参数，这个原来我的理解，难道错误了？？但是这个定义突破了最多只能有一个的限制，现在有两个了？？ template<class _Ret , class _V0_t> struct _Get_function_impl

总算看明白你问什么了。 template<class _Tx> struct _Get_function_impl; 的意思是说 _Get_function_impl 实例化的时候只能有一个模板实参。 template<class _Ret , class _V0_t> 声明新的特化可以接受数目不同的形参，但必须保证 _Get_function_impl<...> 这种特化形式的写法中 ... 只对应包含一个实参，因为这时候会检查主模板，参数个数必须一致。

hzhxxx 2013-08-08

打赏
举报

template<class _Ret , class _V0_t> struct _Get_function_impl <_Ret __cdecl ( _V0_t ),_V0_t> { }; 这样定义却失败了！！！

hzhxxx 2013-08-08

打赏
举报

template<class _Tx> struct _Get_function_impl; 这个定义已经限定了最多只能有一个模版参数，当然，这个定义是不是限定了最多只能有一个模版参数，这个原来我的理解，难道错误了？？但是这个定义突破了最多只能有一个的限制，现在有两个了？？ template<class _Ret , class _V0_t> struct _Get_function_impl

hzhxxx 2013-08-08

打赏
举报

主要是不理解这个， template<class _Tx> struct _Get_function_impl; 已经标明了模版参数只有一个，为什么后面的申明和定义模版参数可以增加很多，比如 template<class _Ret , class _V0_t> struct _Get_function_impl<_Ret __cdecl ( _V0_t ){ typedef _Func_class<_Ret , _V0_t> type; }; 为什么后面的申明和定义模版参数可以增加很多??? 这个有点比理解？？

ri_aje 2013-08-08

打赏
举报

引用 10 楼 hzhxxx 的回复:

template<class _Tx> struct _Get_function_impl; template<class _Ret > struct _Get_function_impl<_Ret __cdecl ()> { typedef _Func_class<_Ret > type; }; template<class _Ret > struct _Get_function_impl<_Ret __stdcall ()> { typedef _Func_class<_Ret > type; }; template<class _Ret > struct _Get_function_impl<_Ret __fastcall ()> { typedef _Func_class<_Ret > type; }; template<class _Ret , class _V0_t> struct _Get_function_impl<_Ret __cdecl ( _V0_t )> { typedef _Func_class<_Ret , _V0_t> type; }; [quote=引用 3 楼 ri_aje 的回复:] 我觉得你宏展开错误了，应该是这样
template<class _Tx，class _v0_t> 
struct _Get_function_impl<_Tx(_v0_t)> // function type
{
typedef _Func_class<_Tx,v0_t> type; 
};

template<class _Tx，class _v0_t,class _v1_t>
struct _Get_function_impl<_Tx(_v0_t,v1_t)> // function type
{
typedef _Func_class<_Tx,_v0_t,_v1_t> type; 
};
...
就是抓取函数 signature 用的，这样可以通过特化，实例化不同的 _Func_class，执行功能。

主要是不理解这个， template<class _Tx> struct _Get_function_impl; 已经标明了模版参数只有一个，为什么后面的申明和定义模版参数可以增加很多，比如 template<class _Ret , class _V0_t> struct _Get_function_impl<_Ret __cdecl ( _V0_t ){ typedef _Func_class<_Ret , _V0_t> type; }; [/quote] _Ret __cdecl ( _V0_t ) 是一个函数类型，算一个模板实参。

hzhxxx 2013-08-08

打赏
举报

还要，增加 P 后，能通过 Debug 目录下的 .i 结尾的预处理文件，能看到对应的宏展开，能看到相关的所有定义，包括 _Get_function_impl 但是编译通过了，连接通不过。 1>LINK : fatal error LNK1104: 无法打开文件“Debug\point_test.obj”

hzhxxx 2013-08-08

打赏
举报

template<class _Tx> struct _Get_function_impl; template<class _Ret > struct _Get_function_impl<_Ret __cdecl ()> { typedef _Func_class<_Ret > type; }; template<class _Ret > struct _Get_function_impl<_Ret __stdcall ()> { typedef _Func_class<_Ret > type; }; template<class _Ret > struct _Get_function_impl<_Ret __fastcall ()> { typedef _Func_class<_Ret > type; }; template<class _Ret , class _V0_t> struct _Get_function_impl<_Ret __cdecl ( _V0_t )> { typedef _Func_class<_Ret , _V0_t> type; };

引用 3 楼 ri_aje 的回复:

我觉得你宏展开错误了，应该是这样
template<class _Tx，class _v0_t> 
struct _Get_function_impl<_Tx(_v0_t)> // function type
{
typedef _Func_class<_Tx,v0_t> type; 
};

template<class _Tx，class _v0_t,class _v1_t>
struct _Get_function_impl<_Tx(_v0_t,v1_t)> // function type
{
typedef _Func_class<_Tx,_v0_t,_v1_t> type; 
};
...
就是抓取函数 signature 用的，这样可以通过特化，实例化不同的 _Func_class，执行功能。

hzhxxx 2013-08-08

打赏
举报

C++ 2011 STL (VS2012 Update4) 源代码阅读系列(2)]熟悉一些宏定义和模版偏特化或叫模版专门化 . http://blog.csdn.net/hzhxxx/article/details/9840511

珍惜生命远离CPP 2013-08-08

打赏
举报

引用 23 楼 hzhxxx 的回复:

template<class T,class ...P> T AAA(T a,P... p) { return a; } VS2012 update 4 编译通不过，看来vs2012 的最新版本还不支持变长模版参数

vs2013支持了按照惯例来看 update中一般只会有bug修正 sp中才可能会有库的加入大版本才会有新的语言特性加入。

hzhxxx 2013-08-08

打赏
举报

template<class T,class ...P> T AAA(T a,P... p) { return a; } VS2012 update 4 编译通不过，看来vs2012 的最新版本还不支持变长模版参数

hzhxxx 2013-08-08

打赏
举报

引用 21 楼 akirya 的回复:

VS2013支持变长模板参数代码就好看多了

template<class _Tx>
struct _Get_function_impl;


template<class _Ret, class... _Types> struct _Get_function_impl<_Ret __cdecl ( _Types... )>
{
    typedef _Func_class<_Ret, _Types...> type;
};
template<class _Ret, class... _Types> struct _Get_function_impl<_Ret __stdcall ( _Types... )>
{
    typedef _Func_class<_Ret, _Types...> type;
};
template<class _Ret, class... _Types> struct _Get_function_impl<_Ret __fastcall ( _Types... )>
{
    typedef _Func_class<_Ret, _Types...> type;
};

//专门化(偏特化)模版类,同时演示了模板继存和多模版参数应用 template<class _Fun,class v0_t,class v1_t,class v2_t,class v3_t,class v4_t> class _Bind_A<_Fun,v0_t,v1_t (),v2_t (v3_t,v4_t)> : public std::binary_function<v1_t,v2_t,bool> { private: _Fun m_v; public: _Bind_A(_Fun v):m_v(v) { // } }; _Bind_A<int,int,int(),int(int,int)> b_4(1); 不过，了解一下这个神技还是可以的。模版里面还可以这没用，关键是那个 int(),int (int,int) 在类里面真的不好怎么使用了。。。

珍惜生命远离CPP 2013-08-08

打赏
举报

VS2013支持变长模板参数代码就好看多了

template<class _Tx>
struct _Get_function_impl;


template<class _Ret, class... _Types> struct _Get_function_impl<_Ret __cdecl ( _Types... )>
{
    typedef _Func_class<_Ret, _Types...> type;
};
template<class _Ret, class... _Types> struct _Get_function_impl<_Ret __stdcall ( _Types... )>
{
    typedef _Func_class<_Ret, _Types...> type;
};
template<class _Ret, class... _Types> struct _Get_function_impl<_Ret __fastcall ( _Types... )>
{
    typedef _Func_class<_Ret, _Types...> type;
};

rocktyt 2013-08-08

打赏
举报

c++11新增的function和bind，之前都是boost那群人用非常牛逼的技术搞出来的东西，正常人还是不要浪费时间去研究比较好……很难看懂更何况VS2012不支持变长模板，用的宏模拟的变长模板，更加难以看懂

hzhxxx 2013-08-08

打赏
举报

引用 18 楼 sduxiaoxiang 的回复:

stl代码真难看、。。

确实，不过，不去看，更不明白里面这些规则。

Daisy__Ben 2013-08-07

打赏
举报

欣赏LZ牛逼的勇气。别人不想你读他的代码，你偏偏要读。故弄玄虚下若干多套，你也往里跳！委员会的小伙伴们都惊呆了！

珍惜生命远离CPP 2013-08-07

打赏
举报

展开错了加上 /P参数宏展开之后的代码

template<class _Tx>
struct _Get_function_impl;


template<class _Ret  > struct _Get_function_impl<_Ret __cdecl ()>
{
    typedef _Func_class<_Ret  > type;
};
template<class _Ret  > struct _Get_function_impl<_Ret __stdcall ()>
{
    typedef _Func_class<_Ret  > type;
};
template<class _Ret  > struct _Get_function_impl<_Ret __fastcall ()>
{
    typedef _Func_class<_Ret  > type;
};
template<class _Ret , class _V0_t> struct _Get_function_impl<_Ret __cdecl ( _V0_t )>
{
    typedef _Func_class<_Ret , _V0_t> type;
};
template<class _Ret , class _V0_t> struct _Get_function_impl<_Ret __stdcall ( _V0_t )>
{
    typedef _Func_class<_Ret , _V0_t> type;
};
template<class _Ret , class _V0_t> struct _Get_function_impl<_Ret __fastcall ( _V0_t )>
{
    typedef _Func_class<_Ret , _V0_t> type;
};
template<class _Ret , class _V0_t , class _V1_t> struct _Get_function_impl<_Ret __cdecl ( _V0_t , _V1_t )>
{
    typedef _Func_class<_Ret , _V0_t , _V1_t> type;
};
template<class _Ret , class _V0_t , class _V1_t> struct _Get_function_impl<_Ret __stdcall ( _V0_t , _V1_t )>
{
    typedef _Func_class<_Ret , _V0_t , _V1_t> type;
};
template<class _Ret , class _V0_t , class _V1_t> struct _Get_function_impl<_Ret __fastcall ( _V0_t , _V1_t )>
{
    typedef _Func_class<_Ret , _V0_t , _V1_t> type;
};
template<class _Ret , class _V0_t , class _V1_t , class _V2_t> struct _Get_function_impl<_Ret __cdecl ( _V0_t , _V1_t , _V2_t )>
{
    typedef _Func_class<_Ret , _V0_t , _V1_t , _V2_t> type;
};
template<class _Ret , class _V0_t , class _V1_t , class _V2_t> struct _Get_function_impl<_Ret __stdcall ( _V0_t , _V1_t , _V2_t )>
{
    typedef _Func_class<_Ret , _V0_t , _V1_t , _V2_t> type;
};
template<class _Ret , class _V0_t , class _V1_t , class _V2_t> struct _Get_function_impl<_Ret __fastcall ( _V0_t , _V1_t , _V2_t )>
{
    typedef _Func_class<_Ret , _V0_t , _V1_t , _V2_t> type;
};
template<class _Ret , class _V0_t , class _V1_t , class _V2_t , class _V3_t> struct _Get_function_impl<_Ret __cdecl ( _V0_t , _V1_t , _V2_t , _V3_t )>
{
    typedef _Func_class<_Ret , _V0_t , _V1_t , _V2_t , _V3_t> type;
};
template<class _Ret , class _V0_t , class _V1_t , class _V2_t , class _V3_t> struct _Get_function_impl<_Ret __stdcall ( _V0_t , _V1_t , _V2_t , _V3_t )>
{
    typedef _Func_class<_Ret , _V0_t , _V1_t , _V2_t , _V3_t> type;
};
template<class _Ret , class _V0_t , class _V1_t , class _V2_t , class _V3_t> struct _Get_function_impl<_Ret __fastcall ( _V0_t , _V1_t , _V2_t , _V3_t )>
{
    typedef _Func_class<_Ret , _V0_t , _V1_t , _V2_t , _V3_t> type;
};
template<class _Ret , class _V0_t , class _V1_t , class _V2_t , class _V3_t , class _V4_t> struct _Get_function_impl<_Ret __cdecl ( _V0_t , _V1_t , _V2_t , _V3_t , _V4_t )>
{
    typedef _Func_class<_Ret , _V0_t , _V1_t , _V2_t , _V3_t , _V4_t> type;
};
template<class _Ret , class _V0_t , class _V1_t , class _V2_t , class _V3_t , class _V4_t> struct _Get_function_impl<_Ret __stdcall ( _V0_t , _V1_t , _V2_t , _V3_t , _V4_t )>
{
    typedef _Func_class<_Ret , _V0_t , _V1_t , _V2_t , _V3_t , _V4_t> type;
};
template<class _Ret , class _V0_t , class _V1_t , class _V2_t , class _V3_t , class _V4_t> struct _Get_function_impl<_Ret __fastcall ( _V0_t , _V1_t , _V2_t , _V3_t , _V4_t )>
{
    typedef _Func_class<_Ret , _V0_t , _V1_t , _V2_t , _V3_t , _V4_t> type;
};

turing-complete 2013-08-07

打赏
举报

可以看，找个支持varidic template 的编译器看对应的源码

加载更多回复（6）

***** STL 原代码里面的一段看不董鸟(VS2012 版本) ************

相关推荐

* STL 原代码里面的一段看不董鸟(VS2012 版本) ********