具有固定長度的C＃

Question

String對象我有一個類，其中我想使用字符串具有固定尺寸。 固定大小的原因是，該類「序列化」爲具有固定長度的值的文本文件 。我想避免編寫一個守護子句的foreach值，而讓這個類處理這個。

所以我周圍30特性，這看起來像這樣

public String CompanyNumber 
    { 
     get 
     { 
      return m_CompanyNumber.PadLeft(5, ' '); 
     } 
     set 
     { 
      if (value.Length > 5) 
      { 
       throw new StringToLongException("The CompanyNumber may only have 5 characters", "CompanyNumber"); 
      } 
      m_CompanyNumber = value; 
     } 
    } 

我想有一個自己處理這樣的字符串。目前我有以下幾種：

public class FixedString 
{ 
    String m_FixedString; 

    public FixedString(String value) 
    { 
     if (value.Length > 5) 
     { 
      throw new StringToLongException("The FixedString value may consist of 5 characters", "value"); 
     } 
     m_FixedString= value; 
    } 

    public static implicit operator FixedString(String value) 
    { 
     FixedString fsv = new FixedString(value); 
     return fsv; 
    } 

    public override string ToString() 
    { 
     return m_FixedString.PadLeft(5,' '); 
    } 
} 

我用這個解決方案的問題是，我不能在「編譯時」設置字符串長度。

這將是理想的，如果它看起來像這到底

public FixedString<5> CompanyNumber { get; set; } 

Answer 1

讓FixedString把大小作爲構造函數的參數，而不是值本身

public class FixedString 
{ 
    private string value; 
    private int length; 
    public FixedString(int length) 
    { 
     this.length = length; 
    } 

    public string Value 
    { 
     get{ return value; } 
     set 
     { 
      if (value.Length > length) 
      { 
       throw new StringToLongException("The field may only have " + length + " characters"); 
      } 
      this.value = value; 
     } 
    } 
} 

Initilise它你的班級，當它改變時只需設置Value

public class MyClass 
{ 
    private FixedString companyNumber = new FixedString(5); 

    public string CompanyNumber 
    { 
     get{ return companyNumber.Value; } 
     set{ companyNumber.Value = value; } 
    } 
} 

Answer 2

您可以定義一個Interface這樣的：

public interface ILength 
{ 
    int Value { get; } 
} 

一些結構實現接口：

public struct LengthOf5 : ILength 
{ 
    public int Value { get { return 5; } } 
} 

public struct LengthOf10 : ILength 
{ 
    public int Value { get { return 10; } } 
} 

然後：

public class FixedString<T> where T : struct, ILength 
{ 
    String m_FixedString; 

    public FixedString(String value) 
    { 
     if (value.Length > default(T).Value) 
     { 
      throw new ArgumentException("The FixedString value may consist of " + default(T).Value + " characters", "value"); 
     } 
     m_FixedString = value; 
    } 

    public static implicit operator FixedString<T>(String value) 
    { 
     FixedString<T> fsv = new FixedString<T>(value); 
     return fsv; 
    } 

    public override string ToString() 
    { 
     return m_FixedString; 
    } 
} 

說實話，我不知道如果我像這個解決方案，但是我認爲可以解決您的問題。

Answer 3

你可以把一個屬性在您的字符串屬性，然後驗證所有的人都在一段時間（也許按一下按鈕或類似的東西）。

using System.ComponentModel.DataAnnotations; 

public class MyObject 
{ 
    [StringLength(5)] 
    public String CompanyName { get; set; } 
} 

public void Save(MyObject myObject) 
{ 
    List<ValidationResult> results = new List<ValidationResult>(); 
    ValidationContext context = new ValidationContext(myObject, null, null); 
    bool isValid = Validator.TryValidateObject(myObject, context, results); 

    if (!isValid) 
    { 
     foreach (ValidationResult result in results) 
     { 
     // Do something 
     } 
    } 
} 

更多關於DataAnnotations的信息here。

Answer 4

我會進一步回去質疑設計。該解決方案將兩個問題 - 內部應用程序狀態和存儲格式 - 混合在一起，應該保持獨立。

您可以使用MaxLengthAttribute修飾每個字符串屬性，然後對其進行驗證，但是從存儲格式序列化的代碼應完全分開。它可以使用相同的屬性來收集字段長度以進行存儲（如果這種巧合符合的話），但是您的內部表示不應該「知道」存儲細節。

Answer 5

我覺得你原來創建固定長度的字符串的想法是非常有效的，嚴格的建模系統的域和使用類型系統，以驗證它，我覺得非常有吸引力的想法。像這樣的問題似乎經常在F＃社區中出現。

不幸的是，類似於你所建議的類型定義（FixedString<5>）在.NET的上下文中是不可能的。

到目前爲止，一些答案已經討論瞭解決方法，替代方案或其他想法，我想反過來回答爲什麼你不能做你最初在C＃中所要求的。

首先，讓我們看看你如何能做到這一點在任意語言：

模板：你可以做用C這樣的事情++使用模板系統。正如Eric Lippert在他關於泛型和模板之間差異的文章中所說的那樣，「您可以將模板看作是一種花式搜索和替換機制」（https://blogs.msdn.microsoft.com/ericlippert/2009/07/30/whats-the-difference-part-one-generics-are-not-templates/）。

在許多方面，通過比較，.NET泛型要簡單得多。通用類型允許參數化類型但不超過值，並且開放類型在運行時解析，而模板是完全編譯時構造。

從屬類型：幾種語言支持稱爲從屬類型（https://en.wikipedia.org/wiki/Dependent_type）的功能。這使您可以定義依賴於值的類型。許多支持這種功能的語言都是面向定理證明而不是通用開發。

在支持此功能的積極開發（儘管知之甚少）的情況下，Idris可能並不常見（參見http://www.idris-lang.org/）。

C＃

C＃不支持這些特性的話，不幸的是，你不能在可以被編譯器嚴格驗證的方式解決這個問題。

我認爲這裏提供了很多很好的建議，可以幫助您在C＃中實現類似的功能，但它們都歸結爲運行時驗證。