質問をすることでしか得られない、回答やアドバイスがある。

15分調べてもわからないことは、質問しよう!

ただいまの
回答率

90.23%

pythonで宣言なのか代入なのか混乱する

解決済

回答 6

投稿

  • 評価
  • クリップ 2
  • VIEW 586

ruei

score 242

pythonを書くときに

 var = hogehoge


としたとき、代入なのか宣言なのか混乱してしまい、困っています。

「宣言だと思って書いたら、すでに宣言されていた」
「代入だと思って書いたら、まだ定義されていなかった」
というときにエラーが出てほしいです。

このような機能はエディタの機能としてあるのでしょうか?

現在はEmacs23.4.1を何も入れずに使っています。

emacs --version
GNU Emacs 23.4.1
Copyright (C) 2012 Free Software Foundation, Inc.
GNU Emacs comes with ABSOLUTELY NO WARRANTY.
You may redistribute copies of Emacs
under the terms of the GNU General Public License.
For more information about these matters, see the file named COPYING.

python初心者です。

快適に書く方法があったら教えてください。

  • 気になる質問をクリップする

    クリップした質問は、後からいつでもマイページで確認できます。

    またクリップした質問に回答があった際、通知やメールを受け取ることができます。

    クリップを取り消します

  • 良い質問の評価を上げる

    以下のような質問は評価を上げましょう

    • 質問内容が明確
    • 自分も答えを知りたい
    • 質問者以外のユーザにも役立つ

    評価が高い質問は、TOPページの「注目」タブのフィードに表示されやすくなります。

    質問の評価を上げたことを取り消します

  • 評価を下げられる数の上限に達しました

    評価を下げることができません

    • 1日5回まで評価を下げられます
    • 1日に1ユーザに対して2回まで評価を下げられます

    質問の評価を下げる

    teratailでは下記のような質問を「具体的に困っていることがない質問」、「サイトポリシーに違反する質問」と定義し、推奨していません。

    • プログラミングに関係のない質問
    • やってほしいことだけを記載した丸投げの質問
    • 問題・課題が含まれていない質問
    • 意図的に内容が抹消された質問
    • 広告と受け取られるような投稿

    評価が下がると、TOPページの「アクティブ」「注目」タブのフィードに表示されにくくなります。

    質問の評価を下げたことを取り消します

    この機能は開放されていません

    評価を下げる条件を満たしてません

    評価を下げる理由を選択してください

    詳細な説明はこちら

    上記に当てはまらず、質問内容が明確になっていない質問には「情報の追加・修正依頼」機能からコメントをしてください。

    質問の評価を下げる機能の利用条件

    この機能を利用するためには、以下の事項を行う必要があります。

質問への追記・修正、ベストアンサー選択の依頼

  • Udomomo

    2018/10/31 14:42

    Pythonでは、何も値を入れずに変数宣言だけすることはできません。コードを書くうえで何か問題が起こっているのでしょうか?

    キャンセル

  • ruei

    2018/10/31 14:45

    一度目の代入と、二度目の代入を区別したい(文字の色をエディタのほうで変えてほしい)ということです。

    キャンセル

回答 6

checkベストアンサー

+9

そもそもpythonに変数の宣言という概念はありません。「すべては代入」です。どのタイミングで変数が作られるかは実行時に決まります(動的言語とはそういうものです)。

極端な例

import random

tmp = random.randrange(10)
if 0 <= tmp < 3:
    hoge = 10.25
elif 3 <= tmp < 6:
    hoge = "fuga"
elif 6 < tmp < 10:
    hoge = tmp
print(hoge)

どの条件がTrueになってどこでhogeが作られるか? は実行する前には神のみぞ知ります。

上のコードは実はバグを仕込んであり、tmp==6のときはhogeが作られずそのままprintのときにNameErrorになります。が、そうなるかどうかすらも実行時に決まります。


そもそもpythonの「変数」とは何かというと、ただの名前です。そして「代入」とは名前にオブジェクトを束縛することです。

Python には宣言がなく、コードブロックのどこでも名前束縛操作ができます。

4. 実行モデル — Python 3.6.5 ドキュメント


emacsならこの辺りを入れれば「undefined name ***」は実行前に出してくれるようになります(ただし冒頭のコードみたいなものを完全に扱える訳ではないので注意)。

もっと強い支援がほしければjediも検討してください。

両方入れれば21世紀のエディタと同程度の使い勝手は確保できます。

投稿

編集

  • 回答の評価を上げる

    以下のような回答は評価を上げましょう

    • 正しい回答
    • わかりやすい回答
    • ためになる回答

    評価が高い回答ほどページの上位に表示されます。

  • 回答の評価を下げる

    下記のような回答は推奨されていません。

    • 間違っている回答
    • 質問の回答になっていない投稿
    • スパムや攻撃的な表現を用いた投稿

    評価を下げる際はその理由を明確に伝え、適切な回答に修正してもらいましょう。

  • 2018/10/31 17:07

    この回答を見て、変数のスコープがifやforの外に出るということを初めて知りました。
    変数が作られるタイミングが実行時まで不定というのが分かりました。
    リンク先を読んでみます。ありがとうございます。

    キャンセル

  • 2018/10/31 17:13

    ifやforはスコープを作りません。関数、内包表記、クラスなどがスコープを作ります

    キャンセル

  • 2018/10/31 21:53

    この辺は言語に依りますね。Rubyだと、乱数が6だとhogeはnilです。

    キャンセル

+5

指定した変数がすでに存在するかどうかは以下で確認できます。

# ローカル変数 test が存在するかどうか
if 'test' in locals():
  print('local variable `test` already exists.')
To check the existence of a global variable:

# グローバル変数 test が存在するかどうか
if 'test' in globals():
  print('global variable `test` already exists.')

# オブジェクト obj は属性 test を持っているかどうか
if hasattr(obj, 'test'):
   print('object has attribute `test`.')

「宣言だと思って書いたら、すでに宣言されていた」
「代入だと思って書いたら、まだ定義されていなかった」
というときにエラーが出てほしいです。
このような機能はエディタの機能としてあるのでしょうか?

C/C++/Java/C# など静的型付き言語は、int a となっていたら宣言、a だけであれば変数の参照と区別できますが、Python の場合はそのような区別がないため、コードをパースした段階では区別できません。

以下の例を見ていただけるとわかると思いますが、コードを実行するまでどちらのメソッドでオブジェクトの attribute 変数が作られたか判断できません。

class Sample:
    def hoge(self):
        if hasattr(self, 'var'):
            print('hoge() assign')
        else:
            print('hoge() declaration and initialzation')
        self.var = 'test'

    def fuga(self):
        if hasattr(self, 'var'):
            print('fuga() assign')
        else:
            print('fuga() declaration and initialzation')
        self.var = 'fuga'

sample1 = Sample()
sample1.hoge()  # hoge() declaration
sample1.fuga()  # fuga() assign

sample2 = Sample()
sample2.fuga()  # fuga() declaration and initialzation
sample2.hoge()  # hoge() assign

結論というと、コードを書いている段階では構文のパースは行っていてもコードを実行しているわけではないので、その段階でエディタでは宣言か代入かは判断できないので実現不可能となります。

 追記

一応、Visual Studio Code の pylint で定義していない変数の参照は検出できるようです。

イメージ説明

投稿

編集

  • 回答の評価を上げる

    以下のような回答は評価を上げましょう

    • 正しい回答
    • わかりやすい回答
    • ためになる回答

    評価が高い回答ほどページの上位に表示されます。

  • 回答の評価を下げる

    下記のような回答は推奨されていません。

    • 間違っている回答
    • 質問の回答になっていない投稿
    • スパムや攻撃的な表現を用いた投稿

    評価を下げる際はその理由を明確に伝え、適切な回答に修正してもらいましょう。

+4

そもそも、なぜ、
「宣言だと思って書いたら、すでに宣言されていた」
「代入だと思って書いたら、まだ定義されていなかった」
を区別する必要を感じられているのでしょうか?

「異なる意味を持つはずの変数に同じ名前を割り当ててしまうミス」をご心配なら、より長く意味が判るような名付けの工夫などが必要なのではないでしょうか?

投稿

  • 回答の評価を上げる

    以下のような回答は評価を上げましょう

    • 正しい回答
    • わかりやすい回答
    • ためになる回答

    評価が高い回答ほどページの上位に表示されます。

  • 回答の評価を下げる

    下記のような回答は推奨されていません。

    • 間違っている回答
    • 質問の回答になっていない投稿
    • スパムや攻撃的な表現を用いた投稿

    評価を下げる際はその理由を明確に伝え、適切な回答に修正してもらいましょう。

  • 2018/10/31 15:38

    動的型付けだから、区別の必要がないというのは、理由がわからないです。

    キャンセル

  • 2018/10/31 16:50

    > 「コード上では同じで、プログラムの動きとしても同じ」という主張ですか?
    例えば、
    a=1
    a=1.0
    という場合に、上のa=1の有無はa=1.0以降に対しては何ら影響は与えず(内部的なメモリ割り当て・解放の動作は変わり得ますが)プログラムの動きとして論理的には同じになります。

    >動的型付けだから、区別の必要がないというのは、理由がわからないです。
    質問に質問で返して申し訳ありませんが、区別できることによって具体的にどのようなメリットを見出しているのでしょうか?

    キャンセル

  • 2018/10/31 17:01

    数十行のコードの中から、すでに使った変数を機械的に探せないのは不便です。
    新しくコードをつけ足すときにすでに前後の行でaを別の意味で使っていると困ります。
    「より長く意味が判るような名付けの工夫」には限界があります。
    ヒューマンエラーは起きないのですか?
    機械的に判断してもらえるのならそうしてほしいです。
    a=1
    a=1.0
    という書き方ができるからと言って
    a=1
    a="りんご"
    という書き方はしないと思います。
    後者のようなコードを書きたくないです。

    キャンセル

+3

「宣言だと思って書いたら、すでに宣言されていた」
「代入だと思って書いたら、まだ定義されていなかった」
というときにエラーが出てほしいです。

おそらく、不可能ではないかと思います。「宣言(1度目の代入)」も「2回目以降の代入」も全く同じ形なので、「宣言だと思って」や「代入だと思って」という意思を読み取るのは、極めて困難です。

投稿

  • 回答の評価を上げる

    以下のような回答は評価を上げましょう

    • 正しい回答
    • わかりやすい回答
    • ためになる回答

    評価が高い回答ほどページの上位に表示されます。

  • 回答の評価を下げる

    下記のような回答は推奨されていません。

    • 間違っている回答
    • 質問の回答になっていない投稿
    • スパムや攻撃的な表現を用いた投稿

    評価を下げる際はその理由を明確に伝え、適切な回答に修正してもらいましょう。

  • 2018/10/31 14:50

    どちらも正当な動作ですから、「エラー」を出すべきではない箇所です。

    キャンセル

  • 2018/10/31 14:51

    「var=1」と書いた時点で、エディタに「すでに存在するvarに再代入しようとしている」のか「varという変数を作ろうとしている」のか、Pythonという条件で見分けさせるのは不可能です。

    キャンセル

  • 2018/10/31 14:51

    一度目の代入の変数だけ、アンダーラインとか太字とか色が変わるとかもないんでしょうか。

    キャンセル

+1

VSCodeやAtomなどの高機能エディタにpython関係のプラグインを入れたりすると、ソースコードレベルでエラーチェックやインテリセンスなどやってくれます。
また、そこで実行やデバッグなんかもできるようになるので、ここらへんのキーワードでぐぐってみたらどうでしょう。

まあ、便利に使おうとすると、その環境構築がちと難しいのが玉に瑕ですが、苦労してみる値打ちはあると思います

投稿

編集

  • 回答の評価を上げる

    以下のような回答は評価を上げましょう

    • 正しい回答
    • わかりやすい回答
    • ためになる回答

    評価が高い回答ほどページの上位に表示されます。

  • 回答の評価を下げる

    下記のような回答は推奨されていません。

    • 間違っている回答
    • 質問の回答になっていない投稿
    • スパムや攻撃的な表現を用いた投稿

    評価を下げる際はその理由を明確に伝え、適切な回答に修正してもらいましょう。

0

Spacemacs(Emacsディストリビューション)を1ヶ月ほど使っていたものです。

MELPAパッケージ管理システムで python-mode をインストールすると、もしかすると補完機能で既に使った変数が候補に出てくるので、そこをみて、
「あ、もうこの変数名使ってた……」
という確認ができるのではと思いました。

いかがでしょう?

投稿

  • 回答の評価を上げる

    以下のような回答は評価を上げましょう

    • 正しい回答
    • わかりやすい回答
    • ためになる回答

    評価が高い回答ほどページの上位に表示されます。

  • 回答の評価を下げる

    下記のような回答は推奨されていません。

    • 間違っている回答
    • 質問の回答になっていない投稿
    • スパムや攻撃的な表現を用いた投稿

    評価を下げる際はその理由を明確に伝え、適切な回答に修正してもらいましょう。

15分調べてもわからないことは、teratailで質問しよう!

  • ただいまの回答率 90.23%
  • 質問をまとめることで、思考を整理して素早く解決
  • テンプレート機能で、簡単に質問をまとめられる

同じタグがついた質問を見る