Mirror of forum.nim-lang.org

9459 :: Why compiler doesn't check the size of types with the `size` pragma?

• bather (orginal) [2022-09-11T09:12:28+02:00] view original

  type O1 {.size: 1.} = object
    a: uint64 # too huge for that size
  
  assert O1(a: 999999999'u64).sizeof == 1
  
  type O2 = object
    a: uint64
  
  assert O2(a: 999999999'u64).sizeof == 8
  
  Run

  ?

---

• mratsim (orginal) [2022-09-11T10:38:02+02:00] view original

  Because when you specify size, you tell the compiler than you know more than it and making sure things are OK becomes your responsibility.

---

• bather (orginal) [2022-09-11T11:36:14+02:00] view original

  Got it 👍

---