出力pメソッドの戻り値について詳しく知りたいです

Question

前提

pとputsの違いについて理解しようとしていました。
戻り値あり/なしという違いがあることにたどり着きました。
その時にpメソッドで戻り値があることはどういうことか？
ということを認識しようとしたときに、理解ができなかったことがあるので教えていただきたいです。

###質問内容
①右の認識は正しいですか？：戻り値とはメソッド内などで定義されているreturnで返されるものである。
②以下の表の戻り値が引数のオブジェクトという項目の意味が理解できませんでした。

|メソッド|出力後の表示|配列の表示|呼び出すメソッド|戻り値|対象者|
|----|----|----|----|----|
|puts|あり|要素ごとに改行|to_s|nil|一般ユーザ|
|print|なし|改行しない|to_s|nil|一般ユーザ|
|p|あり|改行しない|inspect|引数のオブジェクト|開発者|

例えば戻り値が引数のオブジェクトというのは以下で表すpの"testes"はoutputメソッドのpの引数である'testes'ですよという意味で正しいですか？

def output
  p 'testes'
end

output
"testes"(出力結果)
=> "testes"（戻り値）

③出力メソッドに戻り値があることのメリットや必要性を教えてください。
私の認識として上のコードの例からすると出力結果が出ているからそれだけで十分なのでは？
戻り値は何のためにあるんだ？と考えており必要性がわかりません。

そのほかに理解できていること

putsは出力させているだけ、pはreturnという名の戻り値が返されるという違いがある。
pは型情報や文字列かどうかの情報もわかるようにしてある。

以上の3点をどなたか教えていただけないでしょうか。よろしくお願いします。

Answer 1

昔はpもnilを返していました。

デバッグ用途だと、値を返した方が便利です。という理由で引き数を返すように変更されました。

a << foo.bar

というコードで、aに追加されるfoo.barの値を表示したい場合、

pが引き数を返す場合：
a << p(foo.bar)

pがnilを返していた時代、愚直に書くと、
p(tmp = foo.bar)
a << tmp

同：tapを使うと、
a << foo.bar.tap{|x| p x}

Comments

[otn]

1,2の理解は正しいです。

[otn]

pが引き数を返すようになったのは何時からか調べたら、ver1.9からでした。
ということは、
> 同：tapを使うと、
と書いたけど、その時代にはtapは標準装備ではない。

Answer 2

松本さんの設計思想に「例外を作らない」というのが有るのではないか、と以前から感じています。整数や文字列も含め全てがobjectというのもそうですし。
（class Exceptionの意味ではなく、あの場合は、この場合はをなくすという意味）
で、
「methodは戻り値を持つ。最後に評価された式の結果が戻り値となる」　という文法があります。
だから　p,puts,printにも戻り値をつけた
というのもあるのかな？　もありますが、

もし戻り値を持たない場合、
def output str p str end
が困る。　
戻り値を持たない式が最後の場合の戻り値はどうするのか？
とか
methodの戻り値を評価するとき　例えば　if output(str) 戻り値を持たない場合の扱いをどう記述するのか
とか

ので
副作用だけが必要で戻り値なんぞなくても良さそうなこれらにも戻り値を用意したのでは
と考えています。

Answer 3

例えば戻り値が引数のオブジェクトというのは以下で表すpの"testes"はoutputメソッドのpの引数である'testes'ですよという意味で正しいですか？

はい。

私の認識として上のコードの例からすると出力結果が出ているからそれだけで十分なのでは？

戻り値は何のためにあるんだ？と考えており必要性がわかりません。

必要がなければ無視すればいいだけです（特に無視したからなにか起きるわけではありません）。