任何语言中是否存在隔离/沙箱访问修饰符？

Question

是否有一种语言具有可以阻止一个类访问任何其他类的功能，除非包含实例或引用？

isolated class Example {

    public Integer i;

    public void doSomething()
    {
        i = 5; // This is ok because i belongs to this class

        /*
         * This is forbidden because this class can only
         * access anything  contained within, nothing outside
         */
        System.out.println("This does not work.");
    }
}

[编辑]一个示例用例可能是插件系统。我可以定义一个插件对象，引用该类可以操作的某些对象，但不允许其他任何对象。它可能会使安全问题变得更加容易。[/编辑]

Answer 1

我不知道任何基于类的访问修饰符具有这种意图，但我相信访问修饰符无论如何都会被误导。

基于功能的安全性，或更具体地说，对象功能模型似乎就是您想要的。

http://en.wikipedia.org/wiki/Object-capability_model

基本思想是为了对一个对象做任何事情，你需要持有它的引用。保留引用，则无法访问。

全局事物（例如 System.out.println）和其他一些事物是语言的有问题的功能，因为任何人都可以在没有引用的情况下访问它们。

E 等语言或 google caja（用于 Javascript）等工具允许正确的对象能力模型。这是 JS 中的示例：

function Example(someObj) {

    this.someObj = someObj;

    this.doStuff() = function() {
        this.someObj.foo(); //allowed, we have been given a reference to it
        alert("foobar"); //caja may deny/proxy access to global "alert"
    }
}

Answer 2

任何必须包含标题的语言都可能算在内：只要不包含任何标题即可。

但是，我敢打赌，没有任何语言明确禁止外部访问。有什么意义？如果你无法接触到外部世界，你就什么也做不了。而且，为什么对 Integer 的引用可以，但 System.out.println 却不行？

如果您澄清潜在的用例，我们可能可以更好地帮助您...

编辑您的编辑：

我认为您可能会去那里。

如果这是为了安全，那么从一开始就有缺陷。让我们检查一下：

class EvilCode {
    void DoNiceThings() {
        HardDrive.Format();
    }
}

我必须自愿在我的课程上放置关键字的动机是什么？我当然不会因为我很好，因为我不是！

需要考虑的一件事是，任何时候您加载不属于您自己的本机代码（在本例中，本机意味着未编写脚本），您都可能允许坏人运行他的代码。任何语言功能都无法保护您免受这种情况的影响。

正确的答案取决于您的目标语言。 Java 有安全描述符，.NET 允许您创建具有受限权限的 AppDomain，等等。不幸的是，我不是这些领域的专家。