iota

GO itoa实现原理剖析

1. 前言

我们知道iota常用于const表达式中,我们还知道其值是从零开始,const声明块中每增加一行iota值自增1。

使用iota可以简化常量定义,但其规则必须要牢牢掌握,否则在我们阅读别人源码时可能会造成误解或障碍。本节我们尝试全面的总结其使用场景,另外花一小部分时间看一下其实现原理,从原理上把握可以更深刻的记忆这些规则。

2. 热身

按照惯例,我们看几个有意思的小例子,用于检测我们对于iota的理解是否准确。

2.1 题目一

下面常量定义源于GO源码,下面每个常量的值是多少?

type Priority int
const (    
  LOG_EMERG Priority = iota    
  LOG_ALERT   
  LOG_CRIT   
  LOG_ERR    
  LOG_WARNING    
  LOG_NOTICE    
  LOG_INFO    
  LOG_DEBUG
)

题目解释:

上面代码源于日志模块,定义了一组代表日志级别的常量,常量类型为Priority,实际为int类型。

参考答案:

iota初始值为0,也即LOG_EMERG值为0,下面每个常量递增1。

2.2 题目二

下面代码取自Go源码,请问每个常量值是多少?

const (    
  mutexLocked = 1 << iota // mutex is locked    
  mutexWoken   
  mutexStarving   
  mutexWaiterShift = iota   
  starvationThresholdNs = 1e6
)

题目解释:

以上代码取自Go互斥锁Mutex的实现,用于指示各种状态位的地址偏移。

参考答案:

mutexLocked == 1;mutexWoken == 2;mutexStarving == 4;mutexWaiterShift == 3;starvationThresholdNs == 1000000。

2.3 题目三

请问每个常量值是多少?

const (
    bit0, mask0 = 1 << iota, 1<<iota - 1
    bit1, mask1                       
    _, _                            
    bit3, mask3                
 )

题目解释:

以上代码取自Go官方文档。

参考答案:

bit0 == 1, mask0 == 0, bit1 == 2, mask1 == 1, bit3 == 8, mask3 == 7

3. 规则

很多书上或博客描述的规则是这样的:

  1. iota在const关键字出现时被重置为0
  2. const声明块中每新增一行iota值自增1

我曾经也这么理解,看过编译器代码后发现,其实规则只有一条:

  • iota代表了const声明块的行索引(下标从0开始)

这样理解更贴近编译器实现逻辑,也更准确。除此之外,const声明还有个特点,即第一个常量必须指定一个表达式,后续的常量如果没有表达式,则继承上面的表达式。

下面再来根据这个规则看下这段代码:

const (   
bit0, mask0 = 1 << iota, 1<<iota - 1   //const声明第0行,即iota==0    
bit1, mask1           //const声明第1行,即iota==1, 表达式继承上面的语句   
 _, _                       //const声明第2行,即iota==2   
 bit3, mask3         //const声明第3行,即iota==3
)
  • 第0行的表达式展开即bit0, mask0 = 1 << 0, 1<<0 - 1,所以bit0 == 1,mask0 == 0;
  • 第1行没有指定表达式继承第一行,即bit1, mask1 = 1 << 1, 1<<1 - 1,所以bit1 == 2,mask1 == 1;
  • 第2行没有定义常量
  • 第3行没有指定表达式继承第一行,即bit3, mask3 = 1 << 3, 1<<3 - 1,所以bit0 == 8,mask0 == 7;

4. 编译原理

const块中每一行在GO中使用spec数据结构描述,spec声明如下:

    // A ValueSpec node represents a constant or variable declaration    
// (ConstSpec or VarSpec production).   
 //    
ValueSpec struct {        
  Doc     *CommentGroup // associated documentation; or nil        
  Names   []*Ident      // value names (len(Names) > 0)        
  Type    Expr          // value type; or nil        
  Values  []Expr        // initial values; or nil        
  Comment *CommentGroup // line comments; or nil    
}

这里我们只关注ValueSpec.Names, 这个切片中保存了一行中定义的常量,如果一行定义N个常量,那么ValueSpec.Names切片长度即为N。

const块实际上是spec类型的切片,用于表示const中的多行。

所以编译期间构造常量时的伪算法如下:

    for iota, spec := range ValueSpecs {
        for i, name := range spec.Names { 
           obj := NewConst(name, iota...) //此处将iota传入,用于构造常量
            ...        }    
}

从上面可以更清晰的看出iota实际上是遍历const块的索引,每行中即便多次使用iota,其值也不会递增。

总结

iota是从o开始,每一行递增1,而且,如果下面的赋值省略iota的写法,那就会继承最开始的表达式,iota还是原本的递增值(也就是0,1,2,3。。。),他的值就是这样,就像第二题中的那个3,他没有继承上面的表达式,直接显示的iota的值。而且,按行递增,指的是有意义的行,空行不算

最后编辑于
©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 210,914评论 6 490
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 89,935评论 2 383
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 156,531评论 0 345
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 56,309评论 1 282
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 65,381评论 5 384
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 49,730评论 1 289
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 38,882评论 3 404
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 37,643评论 0 266
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 44,095评论 1 303
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 36,448评论 2 325
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 38,566评论 1 339
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 34,253评论 4 328
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 39,829评论 3 312
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 30,715评论 0 21
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 31,945评论 1 264
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 46,248评论 2 360
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 43,440评论 2 348