python、いつ文字列を文字列として扱い、いつ数字(コードポイント）として扱うのか

Question

こちらのページに以下の記述がありました。

C言語のプログラムでは，文字データもASCIIコードによって変換された整数データとして扱われるため，例えば次のように計算することができる．

char c, C

int offset;
C = '何か大文字のアルファベット';
offset = 'a' - 'A'; //大文字と小文字のASCIIコードの差
c = C + offset; //大文字を小文字に変換，小文字をcに格納

私自身はC言語は分からないのですが、pythonではどうかなと考えてみると、文字列にたいして引き算はできず、足し算は文字列の連結が行われます。

>>> 'black' + 'pink'
'blackpink'
>>> 'black' - 'pink'
Traceback (most recent call last):
  File "<stdin>", line 1, in <module>
TypeError: unsupported operand type(s) for -: 'str' and 'str'

一方で比較演算子を用いた場合は

>>> 'あ' < 'い'
True
>>> 'a' < 'c'
True

のようにUnicodeのコードポイントとして比較されると理解しています。

これは四則演算では文字列をそのまま文字列として扱い、比較演算子を用いた場合はコードポイントとして扱うというpythonの仕様ですか？

また、これらについて言及されている公式ドキュメントなどごぞんじでしたら紹介いただけますか？（見つけられませんでした）

Answer 1

以下、公式マニュアルの記載です。

6.7. 二項算術演算 (binary arithmetic operation)

• (加算) 演算は、引数同士の和を与えます。引数は双方とも数値型か、双方とも同じ型のシーケンスでなければなりません。前者の場合、数値は共通の型に変換され、加算されます。後者の場合、シーケンスは結合 (concatenate) されます。

文字列はテキストシーケンス型なので結合されます。

6.10.1. 値の比較

文字列 (str のインスタンス) の比較は、文字の Unicode のコードポイントの数としての値 (組み込み関数 ord() の返り値) を使った辞書式順序で行われます。