pythonでemptyが使えない

Question

下記のコードで発生するエラーが解決できません。

while pile is not empty:のemptyで

Unresolved reference 'empty' less... (Ctrl+F1)
This inspection detects names that should resolve but don't. Due to dynamic dispatch and duck typing, this is possible in a limited but useful number of cases. Top-level and class-level items are supported better than instance items.

というエラーが出てしまいました。

Fileメニュー の「Invalidate Caches / Restart...」

def look_for_key(main_box):
    pile = main_box.make_a_pile_to_look_through()
    while pile is not empty():
         box = pile.grab_a_box()
         for item in box:
            if item.is_a_box():
                 pile.append(item)
            elif item.is_a_key():
                print "found the key!"

• 環境

1. win10
2. 開発環境はpyCharm
3. 使用言語はpython2.7

• やってみたこと

1. PyCharmのFileメニュー の「Invalidate Caches / Restart...」を実行

Answer 1

Pythonにはemptyというビルトイン関数はありません。
独自の関数でしょうか？

    while pile:

make_a_pile_to_look_throughが何なのかはわかりませんが、whileの条件は以上のように使うのではないですか？

Comments

[退会済みユーザー]

文章をよく読まず擬似コードだと気づきませんでした。
ありがとうございました。

Answer 2

これのことなんだったら、そもそもタイプミスがありますが。
empty() → empty

Comments

[退会済みユーザー]

それをやってます。
emptyにしてもempty()にしても上記のエラーが出ます。

[LouiS0616]

この部分以外のコードはどこにあるんです？

[pashango2]

Louisさん、よく見つけますね。
そもそもこれってPythonなんでしょうか？
少なくともあのPDFに書いてあるコードはそのまま動きませんよ。

[LouiS0616]

アルゴリズムでしょうね...
なんか実装してみた人でもいるんですかね？

[LouiS0616]

pile = main_box.make_a_pile_to_look_through()
の時点でエラーが出ないのが不思議でならないのです。

[pashango2]

「なっとく!アルゴリズム」という本ですね、どうやらあのコードは擬似コードのようです、Python（ものすごく似ていますが）ではないので、動作させることはできませんよ。

[LouiS0616]

なんで三行目で初めてエラー出たんですかね...
make_a_pile_to_look_through()が実装されているなら、pile.empty()って形で実装されてたりしませんかね。

[pashango2]

まず、このエラーはPyCharmの静的解析のインスペクション（警告）ですね。
ランタイムエラーではありません。
静的解析なのでmake_a_pile_to_look_throughは存在するメソッドである可能性があるために静的エラーになりません。
（実行時に引数main_boxにどんなオブジェクトが渡されるかわからないため、静的解析ではエラーが出せない）

ただしemptyは確実にビルトインにない関数ですので、明確な静的エラーになります。
ですので、3行目で初めてエラーがでるのです。

[LouiS0616]

ああ、なるほど... 言われてみれば、おっしゃる通りです。

[退会済みユーザー]

色々とすみません。
ありがとうございます‼