staticメンバー関数問題

[chaemon]

おそらく、こんなことを気にしているのは拙者くらいであろうが、nimにおいてobjectのstaticメンバー関数をどう定義するかで悩んでいました。ac-libraryのsegtreeのop, eあたりがC++のstaticメンバー関数で書かれていて合わせられると嬉しいです。現状

1. ジェネリクスに無理やり入れる→デメリット：いろいろとコツがいる、Nimの公式の手法ではなさそう
2. dynamic変数で我慢する→デメリット：遅い

があって、1. で頑張っています。

import times, math


# ジェネリクスに無理やり入れる1
block:
  let time = cpuTime()
  type S[f:static[proc(a, b:int):int]] = object
    discard
  var s0:S[proc(a, b:int):int = a + b]
  var s = 0
  for _ in 0 ..< 10^9:
    s += s0.f(3, 4)
  echo s, " ", cpu_time() - time

# ジェネリクスに無理やり入れる2 (1.0.6ではコンパイルできないが1.6.14ではコンパイルできる模様)
block:
  let time = cpuTime()
  type S[T;f, g:static[auto]] = object
    discard
  var s0 = S[int, proc(a, b:int):int = a + b, proc(a, b:int):int = a * b]()
  var s = 0
  for _ in 0 ..< 10^9:
    s += s0.f(3, 4)
  echo s, " ", cpu_time() - time

# procで定義
block:
  let time = cpuTime()
  proc f(a, b:int):int = a + b
  var s = 0
  for _ in 0 ..< 10^9:
    s += f(3, 4)
  echo s, " ", cpu_time() - time

# メンバ変数で動的に定義
block:
  let time = cpuTime()
  type S = object
    f:proc(a, b:int):int
  var s0 = S(f:proc(a, b:int):int = a + b)
  var s = 0
  for _ in 0 ..< 10^9:
    s += s0.f(3, 4)
  echo s, " ", cpu_time() - time