找到了 CPython 的源码（文件：ceval.c、object.c）：

可以看出，对于布尔类型的对象（即 Py_True 和 Py_False），代码会进入到快速处理的分支；而对于其它对象，则会用 PyObject_IsTrue() 计算出一个 int 类型的值。

PyObjectIsTrue() 函数在计算过程中，依次会获取 nbbool、mplength 和 sqlength 的值，对应的应该就是 __bool() 和 __len() 这两个魔术方法的返回值。

这个过程就是前文中所引用的官方文档的描述，正是想要找的答案！

另外，对于内置的 bool()，它的核心实现逻辑正是上面的 PyObject_IsTrue() 函数，源码如下（boolobject.c）：

所以，Python 在对普通对象作真值判断时，并没有隐式地调用 bool()，相反它调用了一个独立的函数（PyObject_IsTrue()），而这个函数又被 bool() 所使用。

也就是说，bool() 与 if/while 语句对普通对象的真值判断，事实上是基本相同的处理逻辑。 知道了原理，就会明白if bool(xxx) 这种写法是多此一举的了（曾见到过）。
至此，已经回答了前文中提出的问题。