2

好的，可以说我有一个这样的结构 A：

Struct A{
    private String _SomeText;
    private int _SomeValue;

    public A(String someText, int SomeValue) { /*.. set the initial values..*/ }

    public String SomeText{ get { return _SomeText; } }
    public int SomeValue{ get { return _SomeValue; } }
}

现在我想要做的是返回结构 A 作为 ABC 类中的方法的结果，如下所示：

Class ABC{
    public A getStructA(){
        //creation of Struct A
        return a;
    }
}

我不希望任何程序员使用我的库（它将具有 Struct A 和 Class ABC 以及更多东西）能够创建 Struct A 的实例。
我希望创建它的唯一方法是作为回报来自 getStructA() 方法。然后可以通过适当的 getter 访问这些值。

那么有没有办法设置这样的限制？所以一个结构不能在某个类之外实例化？使用 C#、.Net4.0。

谢谢你的帮助。

---编辑：----
添加一些关于我为什么要实现这一目标的细节：

  • 我的 ABC 班有一些人可以查询的“状态”。此状态有 2 个字符串值，然后是一长串整数。
  • 程序员永远不需要创建“状态”的对象/实例，状态只能由类的“getStatus()”函数返回。
  • 我不想将这 3 个字段拆分为不同的方法，因为要获得它们，我正在调用 Windows API (p/invoke)，它返回具有所有 3 个字段的类似结构。
  • 如果我确实要将其拆分为 3 个方法而不使用该结构，那么每次调用这 3 个方法之一时，我都必须缓存结果或从 Windows API 调用该方法...

所以我可以创建一个公共结构，程序员可以根据需要实例化它，这对他们来说是无用的，因为没有方法可以接受它作为参数。或者我可以以这样一种方式构建库，即该结构（或将其更改为类，如果它使事情变得更容易）只能作为方法的返回获得。

4

3 回答 3

10

如果“受限”类型是结构，那么不，没有办法做到这一点。结构必须至少与工厂方法一样公开，如果结构是公开的，则可以使用其默认构造函数构造它。但是，您可以这样做：

public struct A
{
    private string s;
    private int i;
    internal bool valid;
    internal A(string s, int i)
    {
        this.s = s;
        this.i = i;
        this.valid = true;
    } 
    ...

现在您可以让您的库代码检查“有效”标志。A 的实例只能由 (1) 由库内部的可调用内部构造函数的方法生成，或 (2) 由默认构造函数生成。您可以使用有效标志将它们区分开来。

许多人建议使用界面，但这有点毫无意义；使用结构的重点是获取值类型语义，然后将其装箱到接口中。你不妨一开始就把它变成一门课。如果它要成为一个类，那么肯定可以创建一个工厂方法；只需将类的所有 ctor 设为内部即可。

当然，我希望不言而喻，这些设备都不应该用于实现能够抵抗完全受信任的用户攻击的代码。请记住，这个系统是为了保护好用户免受不良代码的侵害，而不是保护好代码免受不良用户的侵害。没有什么可以阻止完全受信任的用户代码通过反射调用他们想要在您的库中的任何私有方法，或者就此而言，使用不安全代码更改结构中的位。

于 2013-02-07T16:49:07.807 回答
0

创建一个公共接口并使该类对调用它的类来说是私有的。

public ISpecialReturnType
{
    String SomeText{ get; }
    int SomeValue{ get; }
}

class ABC{
    public ISpecialReturnType getStructA(){
        A a = //Get a value for a;
        return a;
    }

    private struct A : ISpecialReturnType
    {
        private String _SomeText;
        private int _SomeValue;

        public A(String someText, int SomeValue) { /*.. set the initial values..*/ }

        public String SomeText{ get { return _SomeText; } }
        public int SomeValue{ get { return _SomeValue; } }
    }
}
于 2013-02-07T16:21:51.780 回答
0

你具体关心什么？结构基本上是用胶带粘在一起的字段的集合。由于结构赋值将所有字段从一个结构实例复制到另一个结构实例，因此不受相关结构类型的控制，结构执行任何类型的不变量的能力非常有限，尤其是在多线程代码中（除非结构完全是1、2 或 4 个字节，想要创建一个包含从两个不同实例复制的混合数据的实例的代码可能很容易做到，并且结构无法阻止它）。

如果您想确保您的方法不会接受除您的类型在内部生成的类型以外的任何类型的实例，您应该使用只有构造函数internal或private构造函数的类。如果你这样做，你可以确定你得到的是你自己生成的实例。

编辑 根据修订，我认为请求的限制类型没有必要或特别有用。这听起来像是从根本上想要将一堆值粘在一起并将它们存储到调用者持有的一组粘在一起的变量中。如果您简单地声明一个结构：

public struct QueryResult {
  public ExecutionDuration as Timespan;
  public CompletionTime as DateTime;
  public ReturnedMessage as String;
}

然后声明：

QueryResult foo;

将有效地创建三个变量，名为foo.ExecutionDuration、foo.CompletionTime和foo.ReturnedMessage。该声明：

foo = queryPerformer.performQuery(...);

将根据函数的结果设置这三个变量的值——基本上相当于：

{
  var temp = queryPerformer.performQuery(...);
  foo.ExecutionDuration = temp.ExecutionDuration
  foo.CompletionTime = temp.CompletionTime;
  foo.ReturnedMessage = temp.ReturnedMessage;
}

没有什么能阻止用户代码对这三个变量做任何想做的事，但那又如何呢？如果用户代码出于任何原因决定说，foo.ReturnedMessage = "George";那么foo.ReturnedMessage将等于George。这种情况真的和代码所说的没有什么不同：

int functionResult = doSomething();

然后后来说functionResult = 43;。的行为functionResult，与任何其他变量一样，是保存最后写入的内容。如果写入它的最后一件事是最后一次调用的结果，doSomething()那么它将保持不变。如果最后写的东西是别的东西，它将包含别的东西。

请注意，与类字段或结构属性不同，结构字段只能通过写入来更改，或者通过使用结构赋值语句将一个结构实例中的所有字段写入另一个结构实例的相应字段中的值. 从消费者的角度来看，只读结构属性没有这样的保证。一个结构可能碰巧实现了一个以这种方式运行的属性，但是如果不检查该属性的代码，就无法知道它返回的值是否会受到某个可变对象的影响。

于 2013-02-07T17:20:45.173 回答