type関数について

Question

プログラミング初学者です

https://www.hackerrank.com/challenges/string-validators/problem

リンク先のこの練習問題を解き、discussionを見ていると

s = input()
t = type(s)
for method in [t.isalnum, t.isalpha, t.isdigit, t.islower, t.isupper]:
    print(any(method(c) for c in s))

このような解き方があることがわかりました

何のためにtype関数が用いられているのでしょうか
また、t を str　に代えても動くようですが、何のために使われているのかが理解できませんでした
説明いただけるとありがたいです
よろしくお願いします

Answer 1

typeを使う意味はないと思います。

その人がわざわざtypeを使ったのは、そのdiscussionにてharishbishtさんが

str = raw_input()
print any(c.isalnum()  for c in str)
print any(c.isalpha() for c in str)
print any(c.isdigit() for c in str)
print any(c.islower() for c in str)
print any(c.isupper() for c in str)

と書いており、これではstrが上書きされているのでstrクラスがstrという名前で使えないために、この人のコードに気を使ってtype(s)を使った例を書いたのだと思います。

Comments

[退会済みユーザー]

[s.isalnum, s.isalpha, s.isdigit, s.islower, s.isupper]:
type()を使わずにこう変えると動かないのはなぜでしょうか
データの型を得た意味は何でしょうか

[karamarimo]

まず、isalnum, isalpha, ... はすべて str の instance method です。
s は str の instance であり例えば s.isdigit は引数が0個なので、forループで method(c) が実行されるとエラーが発生します。

一方 str.isalnum だとなぜうまく行くかというと、instance method は instance を第一引数にとるからです。例えばこういうクラスがあったとき、

class C(object):
def __init__(self):
self.x = 1
def method1(self):
return self.x

instance c1 を作ります。
c1 = C()

このとき
c1.method1()
は
C.method1(c1)
と同じ動作をします。

今の場合、
"2".isalnum()
と
str.isalnum("2")
は同じなわけです。

[karamarimo]

公式docsにもこのことが書いてあります。
https://docs.python.org/3.6/tutorial/classes.html#method-objects

[退会済みユーザー]

疑問点に対する回答になりそうなので、まずはこれを理解します
丁寧な回答ありがとうございます

Answer 2

何かの理由があってtype関数を用いているのかも、と考えることはもちろん無駄ではありませんが、正直気にしてもしょうがない話だと思います。

---

s = input()
t = str
for method in [t.isalnum, t.isalpha, t.isdigit, t.islower, t.isupper]:
    print(any(method(c) for c in s))

と書いたって一緒ですが、このstrがどこからでてきたのかというと「input()の返り値がstr型である」からです。
このコードを読む人に対して「input()の返り値がstr型であるという知識がある」ことを要求します。
もしくは、「input()の返り値はstr型なんだろうな/str型でなければならないんだろうなという推測」を要求します。

---

s = input()
t = type(s)
for method in [t.isalnum, t.isalpha, t.isdigit, t.islower, t.isupper]:
    print(any(method(c) for c in s))

だと、「input()の返り値はなんであれ、isalnum、isalpha、isdigit、islower、isupperのメソッドを持つことを要求しているんだなという推測」を要求します。

その程度の違いです。inputぐらいメジャーなライブラリ関数に関する限り、たいして違いはありません。

---

(追記)

[s.isalnum, s.isalpha, s.isdigit, s.islower, s.isupper]:

呼び出し方が変わるからです。そう聞いたということはTypeError: isalnum() takes no arguments (1 given)のエラーが出ることは確認してますよね? そのエラーメッセージの通りです。

"abc".isalnum()

と等価な呼び出しは

str.isalnum("abc")

です。これを理解しないといけません。str.isalnumは一つの引数を取りますが、"abc".isalnumは引数を取りません。

[s.isalnum, s.isalpha, s.isdigit, s.islower, s.isupper]:にしたら、この各要素は引数を取らないのです。

for method in [s.isalnum, s.isalpha, s.isdigit, s.islower, s.isupper]:
    print(any(method() for c in s))

と変えるととりあえずエラーなく動きます。が、やりたいこととは違う処理になります。
データの型を得た意味は何でしょうかという質問が、なぜこう書いたら駄目なのか、という意味なら、処理が変わるから、でしょう。

Comments

[退会済みユーザー]

下記で追加でコメントしているのですが、

[s.isalnum, s.isalpha, s.isdigit, s.islower, s.isupper]:
type()を使わずにこう変えると動かないのはなぜでしょうか
データの型を得た意味は何でしょうか

疑問点はこれになります

[quickquip]

「type()を使わずにこう変えると動かないのはなぜでしょうか」と「データの型を得た意味は何でしょうか」は別の質問として書いてますか? おなじ質問の別の言い方と捉えていいですか?

Answer 3

そのdiscussionのページによると、このコードもあります。

for method in [str.isalnum, str.isalpha, str.isdigit, str.islower, str.isupper]:
    print any(method(c) for c in s)

つまり、この関数のリストをループして、関数が一つ一つ実行される。

isalnumとかisalphaはstrのメソッドです。
そのために、str.が使われています。

strが無くて、そのメソッドは存在しないので、isalnumだけを使いますと、「NameError: name 'isalnum' is not defined」と出てきてしまいます。

質問にあるtype関数は、str型のsの引数を取って、<class 'str'>を返ります。

Comments

[LouiS0616]

なぜわざわざtype関数を介する必要があるのか、というのが質問の主旨かと思います。

[golgi]

なるほど～、ぼくはlucky_manさんの質問の意味を少し勘違いしていました（笑）ごめん。