我正在运行&＃64;pythonetc &＃xff0c;这是一个有关Python和一般编程的电报频道。 这是2018年7月的最佳帖子。
常规语言
常规语言是可以被有限状态机&＃xff08; FSM &＃xff09;识别的形式语言。 简而言之&＃xff0c;这意味着要逐个字符地处理文本&＃xff0c;您只需要记住当前状态&＃xff0c;这种状态的数量是有限的。
美丽和简单的例子是一台机器的输入检查是否是像一个简单的数字-3 &＃xff0c; 2.2或001 。 本文开头的图片是FSM图。 双圆圈表示接受状态 &＃xff0c;它们标识机器可以停止的位置。
机器从①开始&＃xff0c;可能匹配负号&＃xff0c;然后按照③的要求处理尽可能多的数字。 此后&＃xff0c;它可能与一个点&＃xff08;③→④&＃xff09;相匹配&＃xff0c;该点后必须跟一个数字&＃xff08;④→⑤&＃xff09;&＃xff0c;但可能还要更多&＃xff08;⑤→⑤&＃xff09;。
非常规语言的经典示例是一串字符串&＃xff0c;例如&＃xff1a;
ab
aaa-bbb
aaaaa-bbbbb
形式上&＃xff0c;我们需要包含N出现的a &＃xff0c;然后- &＃xff0c;然后N个出现的b 。 N是大于零的整数。 您不能使用有限的机器来做到这一点&＃xff0c;因为您必须记住遇到a字符数&＃xff0c;这会导致您到达无数个状态。
正则表达式只能匹配正则语言。 记住要检查您尝试处理的线路是否完全可以被FSM处理。 JSON &＃xff0c; XML甚至带括号的纯算术表达式。
有趣的是&＃xff0c;许多现代的正则表达式引擎不是正则的 。 例如&＃xff0c; Python regex模块支持递归&＃xff08; 这将有助于解决aaa-bbb问题&＃xff09;。
动态调度
当Python执行一个方法调用&＃xff0c;例如af(b, c, d) &＃xff0c;它应该首先选择正确的f函数。 由于多态性&＃xff0c;选择什么取决于a的类型。 选择方法的过程通常称为动态调度 。
Python仅支持单调度多态性&＃xff0c;这意味着单独的单个对象&＃xff08;在示例中为a &＃xff09;会影响方法的选择。 但是&＃xff0c;其他一些语言也可以考虑b &＃xff0c; c和d类型。 这种机制称为多重调度 。 C&＃xff03;是支持该技术的语言的显着示例。
但是&＃xff0c;可以通过单次调度模拟多次调度。 访客设计模式正是为此而创建的。 访客本质上只使用两次单次派发来模仿两次派发。
请注意&＃xff0c;重载方法&＃xff08;如Java和C &＃43;&＃43;&＃xff09;的能力与多重分派不同。 动态调度在运行时起作用&＃xff0c;而重载仅影响编译时间。
以下是一些代码示例&＃xff0c;可以更好地理解该主题&＃xff1a; Python访问者示例 &＃xff0c; Java重载不能用作多重调度 &＃xff0c; C&＃xff03;多重调度 。
内置名称
在Python中&＃xff0c;您可以轻松修改全局命名空间中可用的所有标准变量&＃xff1a;
>>> print &＃61; 42
>>> print(42)
Traceback (most recent call last):
File "", line 1, in
TypeError: &＃39;int&＃39; object is not callable
如果您的模块定义了一些与内置函数同名的函数&＃xff0c;则可能会有所帮助。 如果您练习元编程并且接受任意字符串作为标识符&＃xff0c;则也会发生这种情况。
但是&＃xff0c;即使您隐藏了一些内置名称&＃xff0c;您仍可能希望访问它们最初引用的内容。 builtins模块正是为此而存在的&＃xff1a;
>>> import builtins
>>> print &＃61; 42
>>> builtins.print(1)
1
__builtins__变量在大多数模块中也可用。 不过有一个陷阱。 首先&＃xff0c;这是cpython实现的细节&＃xff0c;通常根本不应该使用。 其次&＃xff0c; __builtins__可能指的是builtins或builtins.__dict__ &＃xff0c;这取决于当前模块的加载方式。
痕迹
有时&＃xff0c;软件开始在生产中表现异常。 您可能不希望简单地重新启动它&＃xff0c;而是希望了解发生了什么&＃xff0c;以便稍后进行修复。
这样做的显而易见的方法是分析程序的工作并尝试猜测正在执行的代码段。 当然&＃xff0c;正确的日志记录使该任务更加容易&＃xff0c;但是您的应用程序日志可能不够详细&＃xff0c;无论是设计使然还是由于配置中设置了高级日志记录。
在这种情况下&＃xff0c; strace可能会非常有益。 这是一个Unix实用程序&＃xff0c;可以为您跟踪系统调用。 您可以预先运行它strace python script.py但通常更适合连接到已经执行的应用程序&＃xff1a; strace -p PID 。
$ cat test.py
with open(&＃39;/tmp/test&＃39;, &＃39;w&＃39;) as f:
f.write(&＃39;test&＃39;)
$ strace python test.py 2>&1 | grep open | tail -n 1
open("/tmp/test", O_WRONLY|O_CREAT|O_TRUNC|O_CLOEXEC, 0666) &＃61; 3
跟踪中的每一行都包含系统调用名称&＃xff0c;其后带有括号中的参数及其返回值。 由于某些参数用于从系统调用返回结果&＃xff0c;而不是用于向其传递数据&＃xff0c;因此在系统调用完成之前&＃xff0c;行输出可能会中断。
在此示例中&＃xff0c;输出被中断&＃xff0c;直到有人写入STDIN&＃xff1a;
$ strace python -c &＃39;input()&＃39;
read(0,
元组文字
Python语法中最不一致的部分之一是元组文字。
基本上&＃xff0c;要创建一个元组&＃xff0c;只需编写用逗号分隔的值&＃xff1a; 1, 2, 3 。 好&＃xff0c;到目前为止&＃xff0c;很好。 那么只包含一个元素的元组呢&＃xff1f; 您只需将尾随逗号添加到唯一值&＃xff1a; 1, &＃xff0c;。 好吧&＃xff0c;这有点难看并且容易出错&＃xff0c;但是很有意义。
空元组呢&＃xff1f; 它是一个光秃秃的, &＃xff1f; 不&＃xff0c;是() 。 括号会创建元组还是逗号&＃xff1f; 不&＃xff0c;他们没有&＃xff0c; (4)不是元组&＃xff0c;只有4 。
In : a &＃61; [
...: (1, 2, 3),
...: (1, 2),
...: (1),
...: (),
...: ]
In : [type(x) for x in a]
Out: [tuple, tuple, int, tuple]
为了使事情更加晦涩难懂&＃xff0c;元组文字通常需要附加括号。 如果您希望元组是函数的唯一参数&＃xff0c;则f(1, 2, 3)出于明显的原因而无效&＃xff0c;则需要f((1, 2, 3)) 。
From: https://hackernoon.com/python-stories-july-2018-c0b5443faff
京公网安备 11010802041100号