HSPTV!掲示板

#module mod_test
#deffunc test1
	test2 "test1"
return

#deffunc local test2 str p_str
	mes p_str
return

#global

test1
test2@mod_test "test2"

と

#module mod_test
#deffunc local test2 str p_str
	mes p_str
return

#deffunc test1
	test2 "test"
return

#global

test1
test2@mod_test "test2"

の２つは命令test1とtest2の記述の順が違うだけなのですが、前者は意図通りに"test1\ntest2"と出力されますが、後者は

test2 "test"


が文法エラーといわれてしまいます。(@mod_testを足すときちんと動きます。)

1.これはなぜなんでしょうか?

2.また、#deffuncのマニュアルには「local指定により登録された名称は、必ず「名称@モジュール名」の形式で呼び出す必要があります。」と書かれています。
前者は動いていますが、やはりモジュール名は省略しないほうがよいのでしょうか？

ごめんなさい＜/pre＞が抜けたようです。
読み辛くなってしまって申し分けない。

回答よろしくお願いいたします。

1.
前者 (test2の定義より前) と後者 (test2の定義より後) では、
コンパイル時に test2 を探す手順が異なるのですが、
そのために結果が違ってしまうのだと思います。

2.
マニュアルにこんなことが：
> local指定により登録された名称は、必ず「名称@モジュール名」の形式で呼び出す必要があります。
書いてある以上、前者で省略できることはバグでしょうから、
省略しない方がいいです。

レノス様

ご回答ありがとうございます。
やはりバグなんですか。
マニュアルの例がモジュール外からローカルの命令を呼び出すものだったので、同一モジュール内からの呼び出し時は省略してもOKな仕様になってるのかと(実際動いたということもあり)自分に都合よく解釈してたんですが、これからはモジュール名をつけるようにしようと思います。

>> local指定により登録された名称は、必ず「名称@モジュール名」の
>>形式で呼び出す必要があります。
>書いてある以上、前者で省略できることはバグでしょうから、
　省略できないと書いてあるから省略できるのはバグというのは
ちょっと違うのでは？

>自分に都合よく解釈してたんですが、これからはモジュール名を
>つけるようにしようと思います。
　注目すべきはモジュール名をつける必要があるかどうかより
「モジュール内でのみ使用される命令を定義する」というlocalの
使用目的の方でしょう。
グローバル領域で使うことを選択した時点でlocalの使用目的に反する
使い方をすることになったわけですから、local指定を外すべきでしょう。
（その場合にtest2@mod_testがエラーになることの方がバグな気がする）

なるほど。
マニュアルの例の方をよく見ないで答えてしまいました。すみません。
> モジュール内でのみ使用される命令を定義する場合などに使用することができます
説明と例が矛盾してますね。

> （その場合にtest2@mod_testがエラーになることの方がバグな気がする）
そんな気がしてきました。

> 省略できないと書いてあるから省略できるのはバグというのは
> ちょっと違うのでは？
仕様と実装が食い違っている(= 開発者の思ったとおりに動作していない)ことを
バグと呼びました。
(* マニュアルの説明文だけ見て、同一モジュール内からも
　 省略できない仕様だと思っていました)

-----
ただ、実際に、local が定義より後にあるときだけ省略できないので、
やはり省略しない方に統一した方がいいのではないでしょうか？

あれ?解決済みの後に書き込みが!

気付きませんでした。済みません。

>>ANTARES様
>>レノス様
ご回答ありがとうございます

お二方の書き込みから、気になったことが…
(理解力が低いので、お二方の仰ってることの復唱になってたり、
質問しておいて、お二方のご回答にケチつけるようなことになってたり、
的外れな事言ってたりするかも知れませんが、ご容赦下さい。)

>説明と例が矛盾
ので、あまりアテにならないとして

>仕様と実装が食い違っていることをバグと呼びました。

結局
『モジュール名を省略できる仕様に対して、一部省略できない実装』
『モジュール名を省略できない仕様に対して、一部省略できる実装』
どっちなのかが気になります。

>「モジュール内でのみ使用される命令を定義する」というlocalの使用目的の方でしょう。

ここも気になるところです。

バグが後者だとすると、なんでモジュール内でのみ使う命令をモジュール内で呼び出すのに
モジュール名つける必要があるってのが今一???。

同じく「モジュール内でのみ使用される」ものに変数がありますが、こちらは
『通常、同一モジュール内では参照にモジュール名が要らず、
どうしても他モジュールから参照するときは@モジュール名を添えて参照する』
という仕様になっています。(こういうのをスコープって呼ぶんでしたっけ?)

だから、ローカル命令も
『同一モジュール内では呼出にモジュール名が要らず、
どうしても他モジュールから呼ぶときには@モジュール名を添える。』
という仕様なのだろうと、勝手に思い込んでたわけですが、

>その場合にtest2@mod_testがエラーになることの方がバグな気がする

とは

#module mod_test
#deffunc f_test str p_str
	mes p_str
return

#global
test@mod_test "test

こういうことですよね？

これはグローバルに属する"f_test"をモジュールmod_testに属する
ものとして呼び出したから、エラーになっているのでは？

って考えると、あながち私の思い込みではなく
『モジュール名を省略できる仕様に対して、一部省略できない実装』
なのではないかと思えてくるのですが？

>ただ、実際に、local が定義より後にあるときだけ省略できないので、
>やはり省略しない方に統一した方がいいのではないでしょうか？

その方法であれば、どっちのバグだったとしても
対応できる最良の手だとは思うんですが、
この仮説が正しければ、
『ローカル命令はモジュールの末尾に書きましょう。』
っていう統一の方法もあるのでは？

バグが修正されたとき、省略できなくなるというのであれば、
モジュール名つけるのもやぶさかではないのですが、
バグ修正後も省略できるなら、記述位置が限定されても
省略していたいという気持ちが強いです。

これは、管理人様から回答もらわないとバグの修正が
どうなるのかわからないんでしょうか？
(ひょっとしてバグ報告て何かしないといけない？)

長文失礼致しました。

>『同一モジュール内では呼出にモジュール名が要らず、
>どうしても他モジュールから呼ぶときには@モジュール名を添える。』
>という仕様なのだろうと、勝手に思い込んでたわけですが、
誤：どうしても他モジュールから呼ぶときには
正：どうしても他モジュールまたはグローバル領域から呼ぶときには

　グローバル領域は、当然、モジュール外です。


>グローバルに属する"f_test"
　どうしてそう考えるのか、理解に苦しみます。

>>グローバルに属する"f_test"
>　どうしてそう考えるのか、理解に苦しみます。
　あ、そうか、「local」を外したからグローバルということですね。
この場合のグローバルは、グローバルに（モジュール名指定なしで）
アクセス可能という意味で、「グローバルに属する」わけではありません。

　HSPの仕様はかなりいい加減なんで、
あまり厳密に考えると頭がパニクっちゃいます。