为什么``＆＃x27; {x [1：3]}＆＃x27; .format（x =; asd; asd; quord; quary）`导致typeerror？

Question

考虑一下：

>>> '{x[1]}'.format(x="asd")
's'
>>> '{x[1:3]}'.format(x="asd")
Traceback (most recent call last):
  File "<stdin>", line 1, in <module>
TypeError: string indices must be integers

这种行为的原因可能是什么？

Answer 1

基于, checking what value the object's __getitem__ method actually receives:

class C:
    def __getitem__(self, index):
        print(repr(index))

'{c[4]}'.format(c=C())
'{c[4:6]}'.format(c=C())
'{c[anything goes!@#$%^&]}'.format(c=C())
C()[4:6]

Output (

4
'4:6'
'anything goes!@#$%^&'
slice(4, 6, None)

“ rel =“ noreferrer” title = int ， 4：6 没有像通常的切片一样转换为切片（4，6，无）。相反，它只是 string '4：6'。这不是用于索引/切片字符串的有效类型，因此 typeError：字符串索引必须是您获得的整数。

更新：

记录了吗？好吧...我看不到很清楚的东西，但是 @gacy20 grammar 这些规则

field_name        ::=  arg_name ("." attribute_name | "[" element_index "]")*
element_index     ::=  digit+ | index_string
index_string      ::=  <any source character except "]"> +

我们的 c [ 4：6] 是 field_name ，我们对 element_index part 4：6 感兴趣。我认为，如果 Digit+有自己的规则，我会说有有意义的名称：

field_name        ::=  arg_name ("." attribute_name | "[" element_index "]")*
element_index     ::=  index_integer | index_string
index_integer     ::=  digit+
index_string      ::=  <any source character except "]"> +

我要说 index_integer 和index_string更清楚地表明 dig> digit+ index_integer >将转换为 integer （而不是保持数字字​​符串），而＆lt;除了“]”＆gt; +将保持字符串。

也就是说，看着规则，也许我们应该认为“将数字案件与任何字符案件中分开是什么意义？” 并认为这一点是对纯数字的处理方式有所不同，大概是将其转换为整数。或者也许文档的其他部分甚至指出 Digit 或数字+ 在一般中被转换为整数。

Answer 2

'{x[1]}'.format(x="asd") 这里的 [1] 语法不是“正常”字符串索引语法，即使在在这种情况下，它似乎以同样的方式工作。

它使用格式规范迷你语言。相同的机制允许传递对象并访问格式化字符串内的任意属性（例如'{x.name}'.format(x=some_object)）。

这种“假”索引语法还允许将可索引对象传递给 format 并直接从格式化字符串中获取所需的元素：

'{x[0]}'.format(x=('a', 'tuple'))
# 'a'
'{x[1]}'.format(x=('a', 'tuple'))
# 'tuple'

在文档是这一段：

field_name 本身以 arg_name 开头，arg_name 可以是数字，也可以是关键字。如果它是数字，则它指的是位置参数，如果它是关键字，则它指的是命名关键字参数。如果格式字符串中的数字 arg_name 依次为 0、1、2、...，则可以全部省略（不仅仅是部分），并且数字 0、1、2、... 将按该顺序自动插入。由于 arg_name 不是用引号分隔的，因此无法在格式字符串中指定任意字典键（例如，字符串“10”或“:-]”）。 arg_name 后面可以跟任意数量的索引或属性表达式。 “.name”形式的表达式使用 getattr() 选择命名属性，而“[index]”形式的表达式使用 __getitem__() 进行索引查找。

虽然它提到

而“[index]”形式的表达式使用 __getitem__() 进行索引查找。

它没有提及任何有关不支持切片语法的内容。

对我来说，这感觉像是文档中的疏忽，特别是因为 '{x[1:3]}'.format(x="asd") 生成如此神秘的错误消息，甚至更是如此由于 __getitem__ 已经支持切片。