Class.forName() 与 xxx.class的区别

所有的类都是在对其第一次使用时，动态加载到 JVM。当程序创建第一个对类的静态成员的引用时，就会加载这个类。这也证明了构造器也是类的静态方法，即使在构造器之前并没有 static 关键字。因此，使用 new 操作符创建类的对象也会被当作对类的静态成员的引用。

因此 Java 程序在他开始运行之前并非被完全加载，其各个部分是在需要时才加载的。

类加载器首先槛车这个类的 Class 对象是否已经加载。如果尚未加载，默认的类加载器就会根据类名称查找 .class 文件。在这个类的字节码被加载时，它们会接收验证，以确保其没有被破坏。

Class 对象尽在需要的时候才被加载。static 初始化是在类加载时进行的。

对于Class.forName()，这个方法是 Class 类的一个 static 成员。Class 对象就和其他对象一样，我们可以获取并操作他的引用。forName() 是取得 Class 对象引用的一种方法。他是用一个包含目标类的文本名的 String 作为输入参数，返回一个 Class 对象的引用。forName() 方法发现某个累还没被加载，就会主动去加载这个类，在加载过程中，该类的是 static 子句将会被执行。

Java 还提供了另一种方法来生成对 Class 对象的引用，即使用类字面常量。形如：xxx.class 的形式。但是这种形式创建 Class 对象引用时，不会自动初始化 Class 对象。初始化被延迟到了对静态方法或者非常数静态域首次引用时才执行。

public class Initable {

static final int staticFinal = 47;

static final int staticFianl2 = ClassInitialization.rand.nextInt(1000);

static {

System.out.println("Initializing Initable");

}

}

public class Initable2 {

static int staticNonFinal = 147;

static {

System.out.println("Initializing Initable2");

}

}

public class Initable3 {

static int staticNonFinal = 74;

static {

System.out.println("Initializing Initable3");

}

}

public class ClassInitialization {

public static Random rand = new Random(47);

public static void main(String[] args) throws ClassNotFoundException {

Class initable = Initable.class;

System.out.println("after creating Initable ref");

//Does not trigger initialization

System.out.println(Initable.staticFinal);

//Does trigger initialization

System.out.println(Initable.staticFianl2);

//Does trigger initialization

System.out.println(Initable2.staticNonFinal);

Class initable3 = Class.forName("chapter13.t2.Initable3");

System.out.println("after creating Initable3 ref");

System.out.println(Initable3.staticNonFinal);

}

}

在可计算性理论中，原始递归函数

在可计算性理论中，原始递归函数（英语：primitive recursive functions）对计算的完全的形式化而言是形成重要构造板块的一类函数。它们使用递归和复合作为中心运算来定义，并且是递归函数的严格的子集，它们完全是可计算函数。通过补充允许偏函数和介入无界查找运算可以定义出递归函数的更广泛的类。

通常在数论中研究的很多函数，近似于实数值函数，比如加法、除法、阶乘、指数，找到第n个素数等等是原始递归的（Brainerd and Landweber, 1974）。实际上，很难设计不是原始递归的函数，尽管某些函数是已知的(比如阿克曼函数)。所以，通过研究它们，我们能发现有广泛影响的结论的那些性质。

原始递归函数可以用总是停机的图灵机计算，而递归函数需要图灵完全系统。

原始递归函数的集合在计算复杂性理论中叫做PR。