はじめに
やさしいD言語クイズの第２弾です。
第１弾から、読んでいただけると幸いです。
問題４
ソースコードをコンパイル、実行すると、どのような出力結果になるでしょうか。
import std;
void main()
{
int[] a = [1, 2, 3];
int[] b = a;
int[] c = a.dup;
int[] d = a ~ [];
int[3] e = a;
a[1] = 5;
writeln(a[1], b[1], c[1], d[1], e[1]);
}
問題５
ソースコードをコンパイル、実行すると、どのような出力結果になるでしょうか。
import std;
void main()
{
try {
try {
write("1");
throw new Exception("2");
} finally {
write("3");
throw new Exception("4");
}
write("5");
} catch (Exception e){
write(e.msg);
}
try {
write("6");
goto L1;
} finally {
write("7");
}
write("8");
L1:
write("9");
}
問題６
ソースコードをコンパイル、実行すると、どのような出力結果になるでしょうか。
import std;
void func1(char b){
write(1);
}
void func1(int b){
write(2);
}
void func1(long i)
{
write(3);
}
void func2(byte b){
write(4);
}
void func2(int i)
{
write(5);
}
void main()
{
func1(0x61); // 0x61 = 'a'
func1('a');
func1(1L);
func2(1L);
}
ここから回答編です。ネタばれ注意！！
問題４の答え
問題４の実行結果
問題４の実行結果
55222
シャローコピー、ディープコピーについては、D言語の配列コピーでの注意点にも書きています。参考までに。
答えの補足
-
bはシャローコピーです。aと同じ内容を指しています。 -
cはdupを使っているので、ディープコピーです。 -
dは配列の結合結果を代入します。配列の結合処理時に新たに領域を確保するため、ディープコピーになります。
言語仕様によると、空の配列との結合処理であってもディープコピーとなります。 -
eは静的配列への代入のため、ディープコピーになります。
問題５の答え
問題５の実行結果
問題５の実行結果
132679
答えの補足
-
Exception("2")が発生しますが、catchより先にfinallyブロックが処理されます。 - ただし
4は出力されません。Exceptionが起因でfinallyブロックに入る場合は、finallyブロック内にあるExceptionは処理されず、フォールスルーされる仕様のためです。 -
tryブロック内でgotoでのジャンプが発生しても、finallyブロックは処理されます。
問題６の答え
問題６の実行結果
問題６の実行結果
2134
答えの補足
-
0x61は、int型の定数です。 -
'a'は、char型の定数です。 -
1Lは、long型の定数です。 -
func2(1L)についてはfunc2(long b)が存在しません。オーバーロード関数に合致する型がない場合の言語仕様は、 - 引数の型変換を行うことで関数を利用可能か、コンパイラがチェックします。
- チェックした結果、複数の関数が利用可能であれば、利用可能な範囲が狭い関数が選択されます。
-
byteの利用可能範囲は-128～127(8bit符号付き)、intの利用可能範囲は、-2,147,483,648～2,147,483,647(32bit符号付き)のため、利用可能範囲が狭いfunc2(byte b)が呼び出されます。
最後に
時間ぎりぎりまで問題を考えましたが、今回はここまでです。
来年の今ごろに、より面白い問題が作れるよう、言語仕様の勉強を続けようと思います。