コグノスケ


link 未来から過去へ表示(*)  link 過去から未来へ表示

link もっと前
2013年6月27日 >>> 2013年6月14日
link もっと後

2013年6月21日

世の中にありそうでない言語2

せっかく年休を取ったのに、雨、というか台風来てるし…。

前回(2013年6月13日の日記参照)こんなこといいな、できたらいいな、とウダウダ書きましたが、結局何がしたいのか?を考えてみました。

条件2(ガベージコレクション)と3(標準ライブラリ、GUIライブラリ)についてはalloc/freeは面倒くさい、車輪の再発明は面倒くさい、という普遍的な悩みですから特筆することはないでしょう。引っかかるのは条件1(unsigned型の存在)です。

条件1がなくて困るのは「バイト列のMSB側からNビット取ってきて、数値として返す」処理(※)が返すべき数値が、signedだったり、unsignedだったりして扱いが面倒くさいことです。

例を挙げると、あるバイト列から3ビット取ってきて3'b101というビット列が得られたとします。得られたビット列を5と解釈すべき場合と、符号拡張して -3と解釈すべき場合があるということです。

(※)MPEGの仕様書なんかでgetbits() という関数が出てきますが、まさにアレです。

符号拡張が悩み?

単にNビット整数値の符号拡張をしたいだけであれば、下記のようにすればunsigned型なんて要りません。

符号拡張in C言語

/**
 * Sign extension.
 * 
 * @param v Value
 * @param n Bits of v
 * @param s 0: don't sign extension, 
 *          otherwise: do sign extension
 */
long long signext(long long v, int n, int s) {
    long long sb, mb;

    if (n == 0) {
        return 0;
    }

    sb = 1LL << (n - 1);
    mb = (-1LL << (n - 1)) << 1;
    v &= ~mb;
    if (s && (v & sb)) {
        v = mb + v;
    }
    
    return v;
}

さらに言えばRubyのように無限長整数を扱える言語の方がオーバーフローを考えなくて良いという点で有利である、とすら言えるでしょう。

あれだけ長々書いたくせに自己解決しちゃったよ、非常に迷惑だね!
でも、なんだろうこのコレジャナイ感は…?

編集者:すずき(2013/06/21 15:06)

コメント一覧

  • IKeJIさん(2013/06/24 15:09)
    前の記事のコメントはそういう事をやるクラスを作ったらいいんじゃないか、と思ったんです。
    class SignedFixedInteger {
     SignedInteger(byte[] val, int size);
     SignedInteger toOtherSize(int size);
     SignedInteger operator+(SignedInteger s);
     SignedInteger operator+(long long s);
     // other operators.

    Javaだと、演算子オーバーロードがないので、Scalaとか?
    最近の自分のマイブームはkotlinです。

    こういう用途の場合、暗黙にmodされて欲しいという事はないんでしょうか?
  • すずきさん(2013/06/25 08:10)
    >IKeJIさん
    今は整数をラップしたUInt, SIntクラスと、DataInputStreamクラスに似せたBitStreamクラスを作って、
    UInt hoge1 = str.getU32(1);
    UInt hoge2 = str.getU32(3);
    みたいに読めるようにしています。
    ご指摘のとおり、数値側のクラスをもっと強力にした方が良さそうですね。

    暗黙のmodはあったほうが嬉しいです。用途によっては、逆に丸められると困る(オーバーフロー、アンダーフロー検知が必要な)場合もあるかもしれません。今はバイナリ読んで解析のパターンしかやっていないので、どちらもあまり必要としていませんが…。

    Scalaにkotlin、ご紹介ありがとうございます。世の中、面白い言語がいっぱいありますね。
open/close この記事にコメントする



link もっと前
2013年6月27日 >>> 2013年6月14日
link もっと後

管理用メニュー

link 記事を新規作成

<2013>
<<<06>>>
------1
2345678
9101112131415
16171819202122
23242526272829
30------

最近のコメント5件

  • link 26年1月23日
    すずきさん (01/29 09:48)
    「おおー、そんな昔からなんですね。歴史感じ...」
  • link 26年1月23日
    hdkさん (01/27 19:53)
    「#! はUNIX v8からだったってWi...」
  • link 24年12月9日
    すずきさん (01/18 15:45)
    「Thank you for your i...」
  • link 24年12月9日
    Up2Uさん (01/15 12:57)
    「Hi I also find the p...」
  • link 25年12月18日
    すずきさん (12/23 23:51)
    「良く見たらksys_read()でfil...」

最近の記事20件

  • link 26年2月23日
    すずき (02/27 03:32)
    「[ドラクエ1リメイク、トロフィーコンプ] 目次: ゲームSteamでドラクエ1&2 HDリメイクを購入したまま完全放置でドラク...」
  • link 21年12月28日
    すずき (02/27 03:27)
    「[ゲーム - まとめリンク] 目次: ゲームNintendo DSを買ったパネルでポンDS最近の朝はパネポンDS聖剣伝説DSチ...」
  • link 26年2月15日
    すずき (02/27 01:50)
    「[ドラクエ3リメイク、トロフィーコンプ] 目次: ゲームSteamでドラクエ1&2 HDリメイクを購入したのですが、完全にほっ...」
  • link 26年2月11日
    すずき (02/14 13:38)
    「[shebangの役割 - シェル側] 目次: Linux前回(2026年1月29日の日記参照)、スクリプトの先頭(例えばシェ...」
  • link 23年4月10日
    すずき (02/14 03:04)
    「[Linux - まとめリンク] 目次: Linuxカーネル、ドライバ関連。Linux kernel 2.4 for ARMが...」
  • link 23年5月15日
    すずき (02/09 22:27)
    「[車 - まとめリンク] 目次: 車三菱 FTO GPX '95の話。群馬県へのドライブ1群馬県へのドライブ2将来車を買い替え...」
  • link 26年2月8日
    すずき (02/09 22:27)
    「[車の修理……のはずが雪] 目次: 車以前(2025年11月21日の日記参照)、ジャガーさんの左前...」
  • link 26年2月9日
    すずき (02/09 22:10)
    「[SSLに対応 - Let's Encrypt] 目次: 自宅サーバー一昨年(2024年2月2日の日記参照)にJPRSドメイン...」
  • link 23年6月1日
    すずき (02/09 22:09)
    「[自宅サーバー - まとめリンク] 目次: 自宅サーバーこの日記システム、Wikiの話。カウンターをPerlからPHPに移植日...」
  • link 24年2月2日
    すずき (02/09 22:09)
    「[SSLに対応 - JPRSドメイン認証型SSL] 目次: 自宅サーバー今更感がありますが、このサイトもSSL対応にしました。...」
  • link 26年2月1日
    すずき (02/02 23:17)
    「[エンジン出力特性は三者三様] 目次: 車Automobile Catalogue(リンク)という素敵なサイトがありまして、各...」
  • link 21年5月7日
    すずき (02/02 19:31)
    「[LLVM - まとめリンク] 目次: LLVM一覧が欲しくなったので作りました。LLVMの本を買ったClangのmain関数...」
  • link 26年1月19日
    すずき (02/02 19:31)
    「[LLVMインストール] 目次: LLVMLLVMの公式サイト(リンク)にある手順そのものなんですけど、いつもググっていて面倒...」
  • link 26年1月29日
    すずき (02/02 19:22)
    「[shebangの役割 - カーネル側] 目次: Linux前回(2026年1月23日の日記参照)はshebang(ファイル先...」
  • link 26年1月23日
    すずき (01/27 02:47)
    「[shebangの役割] 目次: Linuxスクリプトの先頭(例えばシェルスクリプトなど)に書く"#!〜"から始まるおまじない...」
  • link 26年1月21日
    すずき (01/22 02:55)
    「[日本のテレビメーカーの衰退] ソニーがテレビ事業を分離するニュース(ソニーはなぜ、テレビ事業を「分離」するのか - 中国TC...」
  • link 25年12月26日
    すずき (12/30 14:01)
    「[Linuxのjournal操作メモ] 目次: Linux最近のLinuxディストリビューションはsystemdを採用している...」
  • link 25年12月22日
    すずき (12/28 23:39)
    「[ゲームを買ったら遊びましょう3] 目次: ゲーム前回の振り返り(2024年10月20日の日記参照)から1年経ちました。所持し...」
  • link 08年3月25日
    すずき (12/24 22:16)
    「[シムシティDS2クリア] 目次: ゲームシムシティDS2のチャレンジモード「現代 温暖化」編をクリアして、スタッフロールを拝...」
  • link 25年12月10日
    すずき (12/24 01:02)
    「[LinuxからBIOS/UEFIの設定を取得する] 目次: Linux設定によって何か動作を変えたい、PC再起動するのが嫌な...」
link もっとみる

こんてんつ

open/close wiki
open/close Linux JM
open/close Java API

過去の日記

open/close 2002年
open/close 2003年
open/close 2004年
open/close 2005年
open/close 2006年
open/close 2007年
open/close 2008年
open/close 2009年
open/close 2010年
open/close 2011年
open/close 2012年
open/close 2013年
open/close 2014年
open/close 2015年
open/close 2016年
open/close 2017年
open/close 2018年
open/close 2019年
open/close 2020年
open/close 2021年
open/close 2022年
open/close 2023年
open/close 2024年
open/close 2025年
open/close 2026年
open/close 過去日記について

その他の情報

open/close アクセス統計
open/close サーバ一覧
open/close サイトの情報

合計:  counter total
本日:  counter today

link About www.katsuster.net
RDFファイル RSS 1.0

最終更新: 02/27 03:32