Python プリミティブ型 ラッピング オブジェクト指向

Question

オブジェクト指向において、プリミティブ型はラッピングするように言われていますが、pythonにはプリミティブ型というか怪しいです（全てがオブジェクトな為）。
となると、他の言語のようにラッピングする意味はないのでしょうか？
それともラッピングしたクラスにメソッドを持たせるから意味があるのでしょうか？

class Velocity:
    def __init(self,num):
         self._num = num
    
    def ntimes(n):
        return self._num *= n


class A:
    def __init__(self,num):
        self._velocity = Velocity(num)

    def calcDistance(minutes,multi):
        return minutes*self._velocity.ntimes(multi)

このような認識でよろしいのでしょうか？

Answer 1

「オブジェクト指向エクササイズ」にでてくる制限の一つですね。

あれの意図は、異なる概念には異なる型を与えようってことです。

たとえばプログラム中に「金額」「在庫」と言う概念があったら、
両方をintで表すのではなく、
intをラップして、Money,Stockのようにしましょう。ってことです。

Comments

[KSwordOfHaste]

あらら、自分の読み方が浅かったです。回答感謝です。

[_Victorique__]

回答ありがとうございます。
それは理解しているのですが、Pythonにおいてラッピングは必要なのでしょうか？Pythonはプリミティブ型という概念がないらしいので。

[ozwk]

異なる概念に無理やり同じ型を当てはめるなという話で、
そういうことをする人って大抵の場合すでに用意された基本的な型を使っているわけで、
そういう基本的な型は他の言語だと「プリミティブ」に相当してるので、
「プリミティブはラップしろ」という表現になっているだけかと。

[ozwk]

もっといえば
本質が、「異なる概念には異なる型を与えよう」というのを理解していて、
「pythonのintはプリミティブじゃないから在庫と金額にどっちもintをつかっていいのかな?」
という疑問が起こるのも変な話では。

「動的型付けで恩恵が受けられるのか?」という疑問ならまあ...

[KSwordOfHaste]

プリミティブ型と書いてありますが「汎用の型」と読み替えれば理解しやすいと思います。
strではなくてaddressやpostalCodeやnameというクラスにした方がよいとか、
floatの配列ではなくてvectorという型にしたほうがいいとか・・・
そういうことですよね？

[_Victorique__]

＞ozwk様
そういう疑問ではなく、ラッピングすることでその変数に関する処理を、ラップしたクラスに分離することができるのもメリットなのかという意味です。
＞KSwordOfHaste様
strではなくてaddressやpostalCodeやnameというクラスにした方がよい
これですかね

[ozwk]

> ラッピングすることでその変数に関する処理を、ラップしたクラスに分離することができるのもメリット

メリットですね。

[_Victorique__]

>ozwk様
これで疑問が解決しました。ありがとうございました！

Answer 2

プリミティブ型はラッピングするように言われていますが

そうでしょうか？どこにそういうことが書いてあったか例を示していただけると「そういった人が何を意図していたか」の背景がわかるかも知れません。

Java言語ですとプリミティブ型と参照型の扱い方に区別があり、例えばジェネリクスの型引数にはプリミティブ型が指定できないので、List<int>とはかけず泣く泣くList<Integer>と書かねばならないため、int型をInteger型へラップするしか手がないという場面はあります。

しかしpythonが動的型付けをする言語(変数に型を宣言しない)ので、intでもでstrでも自然に同じ変数へ代入できるわけで、type hintでも例えばList[int]とか普通に書けます。Javaコーダーにはうらやましい(?)制限のない世界ですね。ゆえに特になにか理由がない限りラッピングする必要はないと思います。

もちろん質問者さんがおっしゃるように「何か特別な機能を追加するため」にラップするのは他の言語でもよく見られるテクニックですが、それはプリミティブ型に限って用いられるわけではないので「プリミティブ型はラッピングするように言われています」の理由としては弱いと思います。

Comments

[_Victorique__]

例えば、
http://qiita.com/opengl-8080/items/6f0a458df9c34eccf76c
や
https://www.slideshare.net/masuda220/ss-14263541
などで触れられています。こちらを参照ください。

[KSwordOfHaste]

前者はJavaに限った例であり、一般のオブジェクト指向に通用する話とは区別して考える方がよさそうです。例えばPythonに限らずScala, C#, Smalltalkなどでもプリミティブをラップする（ことはできるが）積極的にしなくてもよいものが多いと思います。Smalltalkにいたってはプリミティブ型という概念がないです。pythonもないのでは？

後者の方は何ページあたりでしょうか？沢山ページがあるので見つけるのが・・・

[_Victorique__]

25枚目ですね

[KSwordOfHaste]

なるほど、こちらもozwkさんのコメントと同じ意味ですね。