DiscriminatedUnion.cs 24 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395
  1. using System;
  2. using System.Runtime.InteropServices;
  3. namespace ProtoBuf
  4. {
  5. /// <summary>Represent multiple types as a union; this is used as part of OneOf -
  6. /// note that it is the caller's responsbility to only read/write the value as the same type</summary>
  7. public struct DiscriminatedUnionObject
  8. {
  9. private readonly int _discriminator;
  10. /// <summary>The value typed as Object</summary>
  11. public readonly object Object;
  12. /// <summary>Indicates whether the specified discriminator is assigned</summary>
  13. public bool Is(int discriminator) => _discriminator == ~discriminator;
  14. /// <summary>Create a new discriminated union value</summary>
  15. public DiscriminatedUnionObject(int discriminator, object value)
  16. {
  17. _discriminator = ~discriminator; // avoids issues with default value / 0
  18. Object = value;
  19. }
  20. /// <summary>Reset a value if the specified discriminator is assigned</summary>
  21. public static void Reset(ref DiscriminatedUnionObject value, int discriminator)
  22. {
  23. if (value.Is(discriminator)) value = default(DiscriminatedUnionObject);
  24. }
  25. }
  26. /// <summary>Represent multiple types as a union; this is used as part of OneOf -
  27. /// note that it is the caller's responsbility to only read/write the value as the same type</summary>
  28. [StructLayout(LayoutKind.Explicit)]
  29. public struct DiscriminatedUnion64
  30. {
  31. unsafe static DiscriminatedUnion64()
  32. {
  33. if (sizeof(DateTime) > 8) throw new InvalidOperationException(nameof(DateTime) + " was unexpectedly too big for " + nameof(DiscriminatedUnion64));
  34. if (sizeof(TimeSpan) > 8) throw new InvalidOperationException(nameof(TimeSpan) + " was unexpectedly too big for " + nameof(DiscriminatedUnion64));
  35. }
  36. [FieldOffset(0)] private readonly int _discriminator; // note that we can't pack further because Object needs x8 alignment/padding on x64
  37. /// <summary>The value typed as Int64</summary>
  38. [FieldOffset(8)] public readonly long Int64;
  39. /// <summary>The value typed as UInt64</summary>
  40. [FieldOffset(8)] public readonly ulong UInt64;
  41. /// <summary>The value typed as Int32</summary>
  42. [FieldOffset(8)] public readonly int Int32;
  43. /// <summary>The value typed as UInt32</summary>
  44. [FieldOffset(8)] public readonly uint UInt32;
  45. /// <summary>The value typed as Boolean</summary>
  46. [FieldOffset(8)] public readonly bool Boolean;
  47. /// <summary>The value typed as Single</summary>
  48. [FieldOffset(8)] public readonly float Single;
  49. /// <summary>The value typed as Double</summary>
  50. [FieldOffset(8)] public readonly double Double;
  51. /// <summary>The value typed as DateTime</summary>
  52. [FieldOffset(8)] public readonly DateTime DateTime;
  53. /// <summary>The value typed as TimeSpan</summary>
  54. [FieldOffset(8)] public readonly TimeSpan TimeSpan;
  55. private DiscriminatedUnion64(int discriminator) : this()
  56. {
  57. _discriminator = ~discriminator; // avoids issues with default value / 0
  58. }
  59. /// <summary>Indicates whether the specified discriminator is assigned</summary>
  60. public bool Is(int discriminator) => _discriminator == ~discriminator;
  61. /// <summary>Create a new discriminated union value</summary>
  62. public DiscriminatedUnion64(int discriminator, long value) : this(discriminator) { Int64 = value; }
  63. /// <summary>Create a new discriminated union value</summary>
  64. public DiscriminatedUnion64(int discriminator, int value) : this(discriminator) { Int32 = value; }
  65. /// <summary>Create a new discriminated union value</summary>
  66. public DiscriminatedUnion64(int discriminator, ulong value) : this(discriminator) { UInt64 = value; }
  67. /// <summary>Create a new discriminated union value</summary>
  68. public DiscriminatedUnion64(int discriminator, uint value) : this(discriminator) { UInt32 = value; }
  69. /// <summary>Create a new discriminated union value</summary>
  70. public DiscriminatedUnion64(int discriminator, float value) : this(discriminator) { Single = value; }
  71. /// <summary>Create a new discriminated union value</summary>
  72. public DiscriminatedUnion64(int discriminator, double value) : this(discriminator) { Double = value; }
  73. /// <summary>Create a new discriminated union value</summary>
  74. public DiscriminatedUnion64(int discriminator, bool value) : this(discriminator) { Boolean = value; }
  75. /// <summary>Create a new discriminated union value</summary>
  76. public DiscriminatedUnion64(int discriminator, DateTime? value) : this(value.HasValue ? discriminator: ~0) { DateTime = value.GetValueOrDefault(); }
  77. /// <summary>Create a new discriminated union value</summary>
  78. public DiscriminatedUnion64(int discriminator, TimeSpan? value) : this(value.HasValue ? discriminator : ~0) { TimeSpan = value.GetValueOrDefault(); }
  79. /// <summary>Reset a value if the specified discriminator is assigned</summary>
  80. public static void Reset(ref DiscriminatedUnion64 value, int discriminator)
  81. {
  82. if (value.Is(discriminator)) value = default(DiscriminatedUnion64);
  83. }
  84. }
  85. /// <summary>Represent multiple types as a union; this is used as part of OneOf -
  86. /// note that it is the caller's responsbility to only read/write the value as the same type</summary>
  87. [StructLayout(LayoutKind.Explicit)]
  88. public struct DiscriminatedUnion128Object
  89. {
  90. unsafe static DiscriminatedUnion128Object()
  91. {
  92. if (sizeof(DateTime) > 16) throw new InvalidOperationException(nameof(DateTime) + " was unexpectedly too big for " + nameof(DiscriminatedUnion128Object));
  93. if (sizeof(TimeSpan) > 16) throw new InvalidOperationException(nameof(TimeSpan) + " was unexpectedly too big for " + nameof(DiscriminatedUnion128Object));
  94. if (sizeof(Guid) > 16) throw new InvalidOperationException(nameof(Guid) + " was unexpectedly too big for " + nameof(DiscriminatedUnion128Object));
  95. }
  96. [FieldOffset(0)] private readonly int _discriminator; // note that we can't pack further because Object needs x8 alignment/padding on x64
  97. /// <summary>The value typed as Int64</summary>
  98. [FieldOffset(8)] public readonly long Int64;
  99. /// <summary>The value typed as UInt64</summary>
  100. [FieldOffset(8)] public readonly ulong UInt64;
  101. /// <summary>The value typed as Int32</summary>
  102. [FieldOffset(8)] public readonly int Int32;
  103. /// <summary>The value typed as UInt32</summary>
  104. [FieldOffset(8)] public readonly uint UInt32;
  105. /// <summary>The value typed as Boolean</summary>
  106. [FieldOffset(8)] public readonly bool Boolean;
  107. /// <summary>The value typed as Single</summary>
  108. [FieldOffset(8)] public readonly float Single;
  109. /// <summary>The value typed as Double</summary>
  110. [FieldOffset(8)] public readonly double Double;
  111. /// <summary>The value typed as DateTime</summary>
  112. [FieldOffset(8)] public readonly DateTime DateTime;
  113. /// <summary>The value typed as TimeSpan</summary>
  114. [FieldOffset(8)] public readonly TimeSpan TimeSpan;
  115. /// <summary>The value typed as Guid</summary>
  116. [FieldOffset(8)] public readonly Guid Guid;
  117. /// <summary>The value typed as Double</summary>
  118. [FieldOffset(24)] public readonly object Object;
  119. private DiscriminatedUnion128Object(int discriminator) : this()
  120. {
  121. _discriminator = ~discriminator; // avoids issues with default value / 0
  122. }
  123. /// <summary>Indicates whether the specified discriminator is assigned</summary>
  124. public bool Is(int discriminator) => _discriminator == ~discriminator;
  125. /// <summary>Create a new discriminated union value</summary>
  126. public DiscriminatedUnion128Object(int discriminator, long value) : this(discriminator) { Int64 = value; }
  127. /// <summary>Create a new discriminated union value</summary>
  128. public DiscriminatedUnion128Object(int discriminator, int value) : this(discriminator) { Int32 = value; }
  129. /// <summary>Create a new discriminated union value</summary>
  130. public DiscriminatedUnion128Object(int discriminator, ulong value) : this(discriminator) { UInt64 = value; }
  131. /// <summary>Create a new discriminated union value</summary>
  132. public DiscriminatedUnion128Object(int discriminator, uint value) : this(discriminator) { UInt32 = value; }
  133. /// <summary>Create a new discriminated union value</summary>
  134. public DiscriminatedUnion128Object(int discriminator, float value) : this(discriminator) { Single = value; }
  135. /// <summary>Create a new discriminated union value</summary>
  136. public DiscriminatedUnion128Object(int discriminator, double value) : this(discriminator) { Double = value; }
  137. /// <summary>Create a new discriminated union value</summary>
  138. public DiscriminatedUnion128Object(int discriminator, bool value) : this(discriminator) { Boolean = value; }
  139. /// <summary>Create a new discriminated union value</summary>
  140. public DiscriminatedUnion128Object(int discriminator, object value) : this(value != null ? discriminator : ~0) { Object = value; }
  141. /// <summary>Create a new discriminated union value</summary>
  142. public DiscriminatedUnion128Object(int discriminator, DateTime? value) : this(value.HasValue ? discriminator: ~0) { DateTime = value.GetValueOrDefault(); }
  143. /// <summary>Create a new discriminated union value</summary>
  144. public DiscriminatedUnion128Object(int discriminator, TimeSpan? value) : this(value.HasValue ? discriminator : ~0) { TimeSpan = value.GetValueOrDefault(); }
  145. /// <summary>Create a new discriminated union value</summary>
  146. public DiscriminatedUnion128Object(int discriminator, Guid? value) : this(value.HasValue ? discriminator : ~0) { Guid = value.GetValueOrDefault(); }
  147. /// <summary>Reset a value if the specified discriminator is assigned</summary>
  148. public static void Reset(ref DiscriminatedUnion128Object value, int discriminator)
  149. {
  150. if (value.Is(discriminator)) value = default(DiscriminatedUnion128Object);
  151. }
  152. }
  153. /// <summary>Represent multiple types as a union; this is used as part of OneOf -
  154. /// note that it is the caller's responsbility to only read/write the value as the same type</summary>
  155. [StructLayout(LayoutKind.Explicit)]
  156. public struct DiscriminatedUnion128
  157. {
  158. unsafe static DiscriminatedUnion128()
  159. {
  160. if (sizeof(DateTime) > 16) throw new InvalidOperationException(nameof(DateTime) + " was unexpectedly too big for " + nameof(DiscriminatedUnion128));
  161. if (sizeof(TimeSpan) > 16) throw new InvalidOperationException(nameof(TimeSpan) + " was unexpectedly too big for " + nameof(DiscriminatedUnion128));
  162. if (sizeof(Guid) > 16) throw new InvalidOperationException(nameof(Guid) + " was unexpectedly too big for " + nameof(DiscriminatedUnion128));
  163. }
  164. [FieldOffset(0)] private readonly int _discriminator; // note that we can't pack further because Object needs x8 alignment/padding on x64
  165. /// <summary>The value typed as Int64</summary>
  166. [FieldOffset(8)] public readonly long Int64;
  167. /// <summary>The value typed as UInt64</summary>
  168. [FieldOffset(8)] public readonly ulong UInt64;
  169. /// <summary>The value typed as Int32</summary>
  170. [FieldOffset(8)] public readonly int Int32;
  171. /// <summary>The value typed as UInt32</summary>
  172. [FieldOffset(8)] public readonly uint UInt32;
  173. /// <summary>The value typed as Boolean</summary>
  174. [FieldOffset(8)] public readonly bool Boolean;
  175. /// <summary>The value typed as Single</summary>
  176. [FieldOffset(8)] public readonly float Single;
  177. /// <summary>The value typed as Double</summary>
  178. [FieldOffset(8)] public readonly double Double;
  179. /// <summary>The value typed as DateTime</summary>
  180. [FieldOffset(8)] public readonly DateTime DateTime;
  181. /// <summary>The value typed as TimeSpan</summary>
  182. [FieldOffset(8)] public readonly TimeSpan TimeSpan;
  183. /// <summary>The value typed as Guid</summary>
  184. [FieldOffset(8)] public readonly Guid Guid;
  185. private DiscriminatedUnion128(int discriminator) : this()
  186. {
  187. _discriminator = ~discriminator; // avoids issues with default value / 0
  188. }
  189. /// <summary>Indicates whether the specified discriminator is assigned</summary>
  190. public bool Is(int discriminator) => _discriminator == ~discriminator;
  191. /// <summary>Create a new discriminated union value</summary>
  192. public DiscriminatedUnion128(int discriminator, long value) : this(discriminator) { Int64 = value; }
  193. /// <summary>Create a new discriminated union value</summary>
  194. public DiscriminatedUnion128(int discriminator, int value) : this(discriminator) { Int32 = value; }
  195. /// <summary>Create a new discriminated union value</summary>
  196. public DiscriminatedUnion128(int discriminator, ulong value) : this(discriminator) { UInt64 = value; }
  197. /// <summary>Create a new discriminated union value</summary>
  198. public DiscriminatedUnion128(int discriminator, uint value) : this(discriminator) { UInt32 = value; }
  199. /// <summary>Create a new discriminated union value</summary>
  200. public DiscriminatedUnion128(int discriminator, float value) : this(discriminator) { Single = value; }
  201. /// <summary>Create a new discriminated union value</summary>
  202. public DiscriminatedUnion128(int discriminator, double value) : this(discriminator) { Double = value; }
  203. /// <summary>Create a new discriminated union value</summary>
  204. public DiscriminatedUnion128(int discriminator, bool value) : this(discriminator) { Boolean = value; }
  205. /// <summary>Create a new discriminated union value</summary>
  206. public DiscriminatedUnion128(int discriminator, DateTime? value) : this(value.HasValue ? discriminator: ~0) { DateTime = value.GetValueOrDefault(); }
  207. /// <summary>Create a new discriminated union value</summary>
  208. public DiscriminatedUnion128(int discriminator, TimeSpan? value) : this(value.HasValue ? discriminator : ~0) { TimeSpan = value.GetValueOrDefault(); }
  209. /// <summary>Create a new discriminated union value</summary>
  210. public DiscriminatedUnion128(int discriminator, Guid? value) : this(value.HasValue ? discriminator : ~0) { Guid = value.GetValueOrDefault(); }
  211. /// <summary>Reset a value if the specified discriminator is assigned</summary>
  212. public static void Reset(ref DiscriminatedUnion128 value, int discriminator)
  213. {
  214. if (value.Is(discriminator)) value = default(DiscriminatedUnion128);
  215. }
  216. }
  217. /// <summary>Represent multiple types as a union; this is used as part of OneOf -
  218. /// note that it is the caller's responsbility to only read/write the value as the same type</summary>
  219. [StructLayout(LayoutKind.Explicit)]
  220. public struct DiscriminatedUnion64Object
  221. {
  222. unsafe static DiscriminatedUnion64Object()
  223. {
  224. if (sizeof(DateTime) > 8) throw new InvalidOperationException(nameof(DateTime) + " was unexpectedly too big for " + nameof(DiscriminatedUnion64Object));
  225. if (sizeof(TimeSpan) > 8) throw new InvalidOperationException(nameof(TimeSpan) + " was unexpectedly too big for " + nameof(DiscriminatedUnion64Object));
  226. }
  227. [FieldOffset(0)] private readonly int _discriminator; // note that we can't pack further because Object needs x8 alignment/padding on x64
  228. /// <summary>The value typed as Int64</summary>
  229. [FieldOffset(8)] public readonly long Int64;
  230. /// <summary>The value typed as UInt64</summary>
  231. [FieldOffset(8)] public readonly ulong UInt64;
  232. /// <summary>The value typed as Int32</summary>
  233. [FieldOffset(8)] public readonly int Int32;
  234. /// <summary>The value typed as UInt32</summary>
  235. [FieldOffset(8)] public readonly uint UInt32;
  236. /// <summary>The value typed as Boolean</summary>
  237. [FieldOffset(8)] public readonly bool Boolean;
  238. /// <summary>The value typed as Single</summary>
  239. [FieldOffset(8)] public readonly float Single;
  240. /// <summary>The value typed as Double</summary>
  241. [FieldOffset(8)] public readonly double Double;
  242. /// <summary>The value typed as DateTime</summary>
  243. [FieldOffset(8)] public readonly DateTime DateTime;
  244. /// <summary>The value typed as TimeSpan</summary>
  245. [FieldOffset(8)] public readonly TimeSpan TimeSpan;
  246. /// <summary>The value typed as Double</summary>
  247. [FieldOffset(16)] public readonly object Object;
  248. private DiscriminatedUnion64Object(int discriminator) : this()
  249. {
  250. _discriminator = ~discriminator; // avoids issues with default value / 0
  251. }
  252. /// <summary>Indicates whether the specified discriminator is assigned</summary>
  253. public bool Is(int discriminator) => _discriminator == ~discriminator;
  254. /// <summary>Create a new discriminated union value</summary>
  255. public DiscriminatedUnion64Object(int discriminator, long value) : this(discriminator) { Int64 = value; }
  256. /// <summary>Create a new discriminated union value</summary>
  257. public DiscriminatedUnion64Object(int discriminator, int value) : this(discriminator) { Int32 = value; }
  258. /// <summary>Create a new discriminated union value</summary>
  259. public DiscriminatedUnion64Object(int discriminator, ulong value) : this(discriminator) { UInt64 = value; }
  260. /// <summary>Create a new discriminated union value</summary>
  261. public DiscriminatedUnion64Object(int discriminator, uint value) : this(discriminator) { UInt32 = value; }
  262. /// <summary>Create a new discriminated union value</summary>
  263. public DiscriminatedUnion64Object(int discriminator, float value) : this(discriminator) { Single = value; }
  264. /// <summary>Create a new discriminated union value</summary>
  265. public DiscriminatedUnion64Object(int discriminator, double value) : this(discriminator) { Double = value; }
  266. /// <summary>Create a new discriminated union value</summary>
  267. public DiscriminatedUnion64Object(int discriminator, bool value) : this(discriminator) { Boolean = value; }
  268. /// <summary>Create a new discriminated union value</summary>
  269. public DiscriminatedUnion64Object(int discriminator, object value) : this(value != null ? discriminator : ~0) { Object = value; }
  270. /// <summary>Create a new discriminated union value</summary>
  271. public DiscriminatedUnion64Object(int discriminator, DateTime? value) : this(value.HasValue ? discriminator: ~0) { DateTime = value.GetValueOrDefault(); }
  272. /// <summary>Create a new discriminated union value</summary>
  273. public DiscriminatedUnion64Object(int discriminator, TimeSpan? value) : this(value.HasValue ? discriminator : ~0) { TimeSpan = value.GetValueOrDefault(); }
  274. /// <summary>Reset a value if the specified discriminator is assigned</summary>
  275. public static void Reset(ref DiscriminatedUnion64Object value, int discriminator)
  276. {
  277. if (value.Is(discriminator)) value = default(DiscriminatedUnion64Object);
  278. }
  279. }
  280. /// <summary>Represent multiple types as a union; this is used as part of OneOf -
  281. /// note that it is the caller's responsbility to only read/write the value as the same type</summary>
  282. [StructLayout(LayoutKind.Explicit)]
  283. public struct DiscriminatedUnion32
  284. {
  285. [FieldOffset(0)] private readonly int _discriminator;
  286. /// <summary>The value typed as Int32</summary>
  287. [FieldOffset(4)] public readonly int Int32;
  288. /// <summary>The value typed as UInt32</summary>
  289. [FieldOffset(4)] public readonly uint UInt32;
  290. /// <summary>The value typed as Boolean</summary>
  291. [FieldOffset(4)] public readonly bool Boolean;
  292. /// <summary>The value typed as Single</summary>
  293. [FieldOffset(4)] public readonly float Single;
  294. private DiscriminatedUnion32(int discriminator) : this()
  295. {
  296. _discriminator = ~discriminator; // avoids issues with default value / 0
  297. }
  298. /// <summary>Indicates whether the specified discriminator is assigned</summary>
  299. public bool Is(int discriminator) => _discriminator == ~discriminator;
  300. /// <summary>Create a new discriminated union value</summary>
  301. public DiscriminatedUnion32(int discriminator, int value) : this(discriminator) { Int32 = value; }
  302. /// <summary>Create a new discriminated union value</summary>
  303. public DiscriminatedUnion32(int discriminator, uint value) : this(discriminator) { UInt32 = value; }
  304. /// <summary>Create a new discriminated union value</summary>
  305. public DiscriminatedUnion32(int discriminator, float value) : this(discriminator) { Single = value; }
  306. /// <summary>Create a new discriminated union value</summary>
  307. public DiscriminatedUnion32(int discriminator, bool value) : this(discriminator) { Boolean = value; }
  308. /// <summary>Reset a value if the specified discriminator is assigned</summary>
  309. public static void Reset(ref DiscriminatedUnion32 value, int discriminator)
  310. {
  311. if (value.Is(discriminator)) value = default(DiscriminatedUnion32);
  312. }
  313. }
  314. /// <summary>Represent multiple types as a union; this is used as part of OneOf -
  315. /// note that it is the caller's responsbility to only read/write the value as the same type</summary>
  316. [StructLayout(LayoutKind.Explicit)]
  317. public struct DiscriminatedUnion32Object
  318. {
  319. [FieldOffset(0)] private readonly int _discriminator;
  320. /// <summary>The value typed as Int32</summary>
  321. [FieldOffset(4)] public readonly int Int32;
  322. /// <summary>The value typed as UInt32</summary>
  323. [FieldOffset(4)] public readonly uint UInt32;
  324. /// <summary>The value typed as Boolean</summary>
  325. [FieldOffset(4)] public readonly bool Boolean;
  326. /// <summary>The value typed as Single</summary>
  327. [FieldOffset(4)] public readonly float Single;
  328. /// <summary>The value typed as Double</summary>
  329. [FieldOffset(8)] public readonly object Object;
  330. private DiscriminatedUnion32Object(int discriminator) : this()
  331. {
  332. _discriminator = ~discriminator; // avoids issues with default value / 0
  333. }
  334. /// <summary>Indicates whether the specified discriminator is assigned</summary>
  335. public bool Is(int discriminator) => _discriminator == ~discriminator;
  336. /// <summary>Create a new discriminated union value</summary>
  337. public DiscriminatedUnion32Object(int discriminator, int value) : this(discriminator) { Int32 = value; }
  338. /// <summary>Create a new discriminated union value</summary>
  339. public DiscriminatedUnion32Object(int discriminator, uint value) : this(discriminator) { UInt32 = value; }
  340. /// <summary>Create a new discriminated union value</summary>
  341. public DiscriminatedUnion32Object(int discriminator, float value) : this(discriminator) { Single = value; }
  342. /// <summary>Create a new discriminated union value</summary>
  343. public DiscriminatedUnion32Object(int discriminator, bool value) : this(discriminator) { Boolean = value; }
  344. /// <summary>Create a new discriminated union value</summary>
  345. public DiscriminatedUnion32Object(int discriminator, object value) : this(value != null ? discriminator : ~0) { Object = value; }
  346. /// <summary>Reset a value if the specified discriminator is assigned</summary>
  347. public static void Reset(ref DiscriminatedUnion32Object value, int discriminator)
  348. {
  349. if (value.Is(discriminator)) value = default(DiscriminatedUnion32Object);
  350. }
  351. }
  352. }