如何确定变量的数据类型

Question

这是一个很容易回答的问题（我猜），但是我找了一会儿没有找到任何东西，所以我将我的问题直接问你。

typep 用于确定给定变量是否属于某些特定数据类型，例如整数，哈希表等，但是有没有返回数据类型的函数？

例如

(defvar *x* 1)
*x*

(typep *x* 'integer)
T

(the-type-function *x*)
INTEGER

Answer 1

有 typep 来确定给定变量是否属于某种特定的数据类型，例如整数、哈希表等，

不是真的。在 Common Lisp 中，变量的类型不是你想象的那样。

(defvar *x* 1)
*x*

(typep *x* 'integer)
T

上面没有说明变量*x* 的类型。它确认对象1 的类型为integer。

但是有没有返回数据类型的函数？

不是真的。有一个函数TYPE-OF，它返回的是对象的类型，而不是变量的类型。

> (type-of 1)
FIXNUM

我们从变量中获取值没有区别。

> (type-of *x*)
FIXNUM

但这并不意味着变量具有那种类型。

注意：Common Lisp 有类型和类型声明。但这看起来略有不同。