คำถามติดแท็ก type-constraints


4
<: <, <% <, และ =: = หมายถึงอะไรใน Scala 2.8 และเอกสารเหล่านั้นอยู่ที่ไหน
ฉันเห็นได้ในเอกสาร API สำหรับPredefว่าเป็นประเภทย่อยของประเภทฟังก์ชันทั่วไป (จาก) =&gt; ถึง แต่นั่นคือทั้งหมดที่กล่าว เอ่ออะไรนะ? อาจมีเอกสารอยู่บ้าง แต่เครื่องมือค้นหาไม่จัดการ "ชื่อ" เช่น "&lt;: &lt;" ดีมากดังนั้นฉันจึงไม่สามารถค้นหาได้ คำถามติดตามผล: เมื่อใดที่ฉันควรใช้สัญลักษณ์ / คลาสขี้ขลาดเหล่านี้และทำไม

2
C # generic "where constraint" กับ "any generic type"?
ขอยกตัวอย่าง: ฉันมีนิยามคลาส / อินเทอร์เฟซทั่วไป: interface IGenericCar&lt; T &gt; {...} ฉันมีคลาส / อินเทอร์เฟซอื่นที่ฉันต้องการเชื่อมโยงกับคลาสด้านบนเช่น: interface IGarrage&lt; TCar &gt; : where TCar: IGenericCar&lt; (**any type here**) &gt; {...} โดยพื้นฐานแล้วฉันต้องการให้ IGarrage ทั่วไปของฉันขึ้นอยู่กับIGenericCarไม่ว่าจะเป็นIGenericCar&lt;int&gt;หรือIGenericCar&lt;System.Color&gt;เพราะฉันไม่มีการพึ่งพาประเภทนั้นก็ตาม

2
C # ไม่สามารถทำให้ `notnull 'ประเภทเป็นโมฆะ
ฉันพยายามสร้างประเภทที่คล้ายกับ Rust's Resultหรือ Haskell Eitherและฉันก็เข้าใจได้: public struct Result&lt;TResult, TError&gt; where TResult : notnull where TError : notnull { private readonly OneOf&lt;TResult, TError&gt; Value; public Result(TResult result) =&gt; Value = result; public Result(TError error) =&gt; Value = error; public static implicit operator Result&lt;TResult, TError&gt;(TResult result) =&gt; new Result&lt;TResult, TError&gt;(result); public static …
โดยการใช้ไซต์ของเรา หมายความว่าคุณได้อ่านและทำความเข้าใจนโยบายคุกกี้และนโยบายความเป็นส่วนตัวของเราแล้ว
Licensed under cc by-sa 3.0 with attribution required.