cpython/Objects/object.c

583 lines
12 KiB
C
Raw Normal View History

1991-02-19 08:39:46 -04:00
/***********************************************************
Copyright 1991-1995 by Stichting Mathematisch Centrum, Amsterdam,
The Netherlands.
1991-02-19 08:39:46 -04:00
All Rights Reserved
Permission to use, copy, modify, and distribute this software and its
documentation for any purpose and without fee is hereby granted,
provided that the above copyright notice appear in all copies and that
both that copyright notice and this permission notice appear in
supporting documentation, and that the names of Stichting Mathematisch
Centrum or CWI not be used in advertising or publicity pertaining to
distribution of the software without specific, written prior permission.
STICHTING MATHEMATISCH CENTRUM DISCLAIMS ALL WARRANTIES WITH REGARD TO
THIS SOFTWARE, INCLUDING ALL IMPLIED WARRANTIES OF MERCHANTABILITY AND
FITNESS, IN NO EVENT SHALL STICHTING MATHEMATISCH CENTRUM BE LIABLE
FOR ANY SPECIAL, INDIRECT OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT
OF OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
******************************************************************/
1990-12-20 11:06:42 -04:00
/* Generic object operations; and implementation of None (NoObject) */
1990-10-14 09:07:46 -03:00
1990-12-20 11:06:42 -04:00
#include "allobjects.h"
1990-10-14 09:07:46 -03:00
1995-03-29 12:57:48 -04:00
#if defined( Py_TRACE_REFS ) || defined( Py_REF_DEBUG )
1990-12-20 11:06:42 -04:00
long ref_total;
#endif
1990-10-14 09:07:46 -03:00
1990-12-20 11:06:42 -04:00
/* Object allocation routines used by NEWOBJ and NEWVAROBJ macros.
These are used by the individual routines for object creation.
Do not call them otherwise, they do not initialize the object! */
1990-10-14 09:07:46 -03:00
#ifdef COUNT_ALLOCS
static typeobject *type_list;
extern int tuple_zero_allocs, fast_tuple_allocs;
extern int quick_int_allocs, quick_neg_int_allocs;
extern int null_strings, one_strings;
void
dump_counts()
{
typeobject *tp;
for (tp = type_list; tp; tp = tp->tp_next)
fprintf(stderr, "%s alloc'd: %d, freed: %d, max in use: %d\n",
tp->tp_name, tp->tp_alloc, tp->tp_free,
tp->tp_maxalloc);
fprintf(stderr, "fast tuple allocs: %d, empty: %d\n",
fast_tuple_allocs, tuple_zero_allocs);
fprintf(stderr, "fast int allocs: pos: %d, neg: %d\n",
quick_int_allocs, quick_neg_int_allocs);
fprintf(stderr, "null strings: %d, 1-strings: %d\n",
null_strings, one_strings);
}
PyObject *
get_counts()
{
PyTypeObject *tp;
PyObject *result;
PyObject *v;
result = PyList_New(0);
if (result == NULL)
return NULL;
for (tp = type_list; tp; tp = tp->tp_next) {
v = Py_BuildValue("(siii)", tp->tp_name, tp->tp_alloc,
tp->tp_free, tp->tp_maxalloc);
if (v == NULL) {
Py_DECREF(result);
return NULL;
}
if (PyList_Append(result, v) < 0) {
Py_DECREF(v);
Py_DECREF(result);
return NULL;
}
Py_DECREF(v);
}
return result;
}
void
inc_count(tp)
typeobject *tp;
{
if (tp->tp_alloc == 0) {
1995-04-06 11:46:26 -03:00
/* first time; insert in linked list */
if (tp->tp_next != NULL) /* sanity check */
fatal("XXX inc_count sanity check");
tp->tp_next = type_list;
type_list = tp;
}
tp->tp_alloc++;
if (tp->tp_alloc - tp->tp_free > tp->tp_maxalloc)
tp->tp_maxalloc = tp->tp_alloc - tp->tp_free;
}
#endif
1990-10-14 09:07:46 -03:00
object *
newobject(tp)
typeobject *tp;
{
object *op = (object *) malloc(tp->tp_basicsize);
if (op == NULL)
return err_nomem();
op->ob_type = tp;
NEWREF(op);
1990-10-14 09:07:46 -03:00
return op;
}
varobject *
newvarobject(tp, size)
typeobject *tp;
1995-02-10 13:00:27 -04:00
int size;
1990-10-14 09:07:46 -03:00
{
varobject *op = (varobject *)
malloc(tp->tp_basicsize + size * tp->tp_itemsize);
if (op == NULL)
1991-05-05 17:10:41 -03:00
return (varobject *)err_nomem();
1990-10-14 09:07:46 -03:00
op->ob_type = tp;
op->ob_size = size;
NEWREF(op);
1990-10-14 09:07:46 -03:00
return op;
}
1991-06-07 13:10:43 -03:00
int
1990-10-14 09:07:46 -03:00
printobject(op, fp, flags)
object *op;
FILE *fp;
int flags;
{
int ret = 0;
1994-08-30 05:27:36 -03:00
if (sigcheck())
1991-06-07 13:10:43 -03:00
return -1;
if (op == NULL) {
fprintf(fp, "<nil>");
1990-10-14 09:07:46 -03:00
}
1991-06-07 13:10:43 -03:00
else {
if (op->ob_refcnt <= 0)
fprintf(fp, "<refcnt %u at %lx>",
op->ob_refcnt, (long)op);
else if (op->ob_type->tp_print == NULL) {
if (op->ob_type->tp_repr == NULL) {
fprintf(fp, "<%s object at %lx>",
op->ob_type->tp_name, (long)op);
}
else {
object *s;
if (flags & PRINT_RAW)
s = strobject(op);
else
s = reprobject(op);
if (s == NULL)
ret = -1;
else if (!is_stringobject(s)) {
err_setstr(TypeError,
"repr not string");
ret = -1;
}
else {
fprintf(fp, "%s", getstringvalue(s));
}
XDECREF(s);
}
}
1991-06-07 13:10:43 -03:00
else
ret = (*op->ob_type->tp_print)(op, fp, flags);
1991-06-07 13:10:43 -03:00
}
if (ret == 0) {
if (ferror(fp)) {
1991-12-10 09:59:09 -04:00
err_errno(IOError);
clearerr(fp);
ret = -1;
}
}
return ret;
1990-10-14 09:07:46 -03:00
}
object *
reprobject(v)
object *v;
{
1994-08-30 05:27:36 -03:00
if (sigcheck())
1991-06-07 13:10:43 -03:00
return NULL;
if (v == NULL)
return newstringobject("<NULL>");
else if (v->ob_type->tp_repr == NULL) {
char buf[120];
sprintf(buf, "<%.80s object at %lx>",
v->ob_type->tp_name, (long)v);
return newstringobject(buf);
1990-10-14 09:07:46 -03:00
}
1991-06-07 13:10:43 -03:00
else
return (*v->ob_type->tp_repr)(v);
1990-10-14 09:07:46 -03:00
}
object *
strobject(v)
object *v;
{
if (v == NULL)
return newstringobject("<NULL>");
else if (is_stringobject(v)) {
INCREF(v);
return v;
}
1995-01-17 12:35:13 -04:00
else if (v->ob_type->tp_str != NULL)
return (*v->ob_type->tp_str)(v);
else {
1995-01-17 12:35:13 -04:00
object *func;
object *res;
if (!is_instanceobject(v) ||
(func = getattr(v, "__str__")) == NULL) {
err_clear();
return reprobject(v);
}
res = call_object(func, (object *)NULL);
DECREF(func);
return res;
}
}
static object *
do_cmp(v, w)
object *v, *w;
{
/* __rcmp__ actually won't be called unless __cmp__ isn't defined,
because the check in cmpobject() reverses the objects first.
This is intentional -- it makes no sense to define cmp(x,y) different
than -cmp(y,x). */
if (is_instanceobject(v) || is_instanceobject(w))
return instancebinop(v, w, "__cmp__", "__rcmp__", do_cmp);
return newintobject((long)cmpobject(v, w));
}
1990-10-14 09:07:46 -03:00
int
cmpobject(v, w)
object *v, *w;
{
typeobject *tp;
if (v == w)
return 0;
if (v == NULL)
return -1;
if (w == NULL)
return 1;
if (is_instanceobject(v) || is_instanceobject(w)) {
object *res;
int c;
if (!is_instanceobject(v))
return -cmpobject(w, v);
res = do_cmp(v, w);
if (res == NULL) {
err_clear();
return (v < w) ? -1 : 1;
}
if (!is_intobject(res)) {
DECREF(res);
return (v < w) ? -1 : 1;
}
c = getintvalue(res);
DECREF(res);
return (c < 0) ? -1 : (c > 0) ? 1 : 0;
}
if ((tp = v->ob_type) != w->ob_type) {
if (tp->tp_as_number != NULL &&
w->ob_type->tp_as_number != NULL) {
if (coerce(&v, &w) != 0) {
err_clear();
/* XXX Should report the error,
XXX but the interface isn't there... */
}
else {
int cmp = (*v->ob_type->tp_compare)(v, w);
DECREF(v);
DECREF(w);
return cmp;
}
}
1990-10-14 09:07:46 -03:00
return strcmp(tp->tp_name, w->ob_type->tp_name);
}
1990-10-14 09:07:46 -03:00
if (tp->tp_compare == NULL)
return (v < w) ? -1 : 1;
return (*tp->tp_compare)(v, w);
1990-10-14 09:07:46 -03:00
}
long
hashobject(v)
object *v;
{
typeobject *tp = v->ob_type;
if (tp->tp_hash != NULL)
return (*tp->tp_hash)(v);
if (tp->tp_compare == NULL)
return (long) v; /* Use address as hash value */
/* If there's a cmp but no hash defined, the object can't be hashed */
err_setstr(TypeError, "unhashable type");
return -1;
}
1990-12-20 11:06:42 -04:00
object *
getattr(v, name)
object *v;
char *name;
{
if (v->ob_type->tp_getattr == NULL) {
err_setstr(AttributeError, "attribute-less object");
1990-12-20 11:06:42 -04:00
return NULL;
}
else {
return (*v->ob_type->tp_getattr)(v, name);
}
}
int
hasattr(v, name)
object *v;
char *name;
{
object *res = getattr(v, name);
if (res != NULL) {
DECREF(res);
return 1;
}
err_clear();
return 0;
}
1990-12-20 11:06:42 -04:00
int
setattr(v, name, w)
object *v;
char *name;
object *w;
{
if (v->ob_type->tp_setattr == NULL) {
if (v->ob_type->tp_getattr == NULL)
err_setstr(TypeError,
"attribute-less object (assign or del)");
1990-12-20 11:06:42 -04:00
else
err_setstr(TypeError,
"object has read-only attributes");
1990-12-20 19:12:40 -04:00
return -1;
1990-12-20 11:06:42 -04:00
}
else {
return (*v->ob_type->tp_setattr)(v, name, w);
}
}
/* Test a value used as condition, e.g., in a for or if statement.
Return -1 if an error occurred */
int
testbool(v)
object *v;
{
int res;
if (v == None)
res = 0;
else if (v->ob_type->tp_as_number != NULL)
res = (*v->ob_type->tp_as_number->nb_nonzero)(v);
else if (v->ob_type->tp_as_mapping != NULL)
res = (*v->ob_type->tp_as_mapping->mp_length)(v);
else if (v->ob_type->tp_as_sequence != NULL)
res = (*v->ob_type->tp_as_sequence->sq_length)(v);
else
res = 1;
if (res > 0)
res = 1;
return res;
1990-12-20 11:06:42 -04:00
}
/* Coerce two numeric types to the "larger" one.
Increment the reference count on each argument.
Return -1 and raise an exception if no coercion is possible
(and then no reference count is incremented).
*/
int
coerce(pv, pw)
object **pv, **pw;
{
register object *v = *pv;
register object *w = *pw;
int res;
if (v->ob_type == w->ob_type && !is_instanceobject(v)) {
INCREF(v);
INCREF(w);
return 0;
}
if (v->ob_type->tp_as_number && v->ob_type->tp_as_number->nb_coerce) {
res = (*v->ob_type->tp_as_number->nb_coerce)(pv, pw);
if (res <= 0)
return res;
}
if (w->ob_type->tp_as_number && w->ob_type->tp_as_number->nb_coerce) {
res = (*w->ob_type->tp_as_number->nb_coerce)(pw, pv);
if (res <= 0)
return res;
}
err_setstr(TypeError, "number coercion failed");
return -1;
}
1990-10-14 09:07:46 -03:00
1995-01-25 20:38:22 -04:00
/* Test whether an object can be called */
int
callable(x)
object *x;
{
if (x == NULL)
return 0;
if (x->ob_type->tp_call != NULL ||
is_funcobject(x) ||
is_instancemethodobject(x) ||
is_methodobject(x) ||
is_classobject(x))
return 1;
if (is_instanceobject(x)) {
object *call = getattr(x, "__call__");
if (call == NULL) {
err_clear();
return 0;
}
/* Could test recursively but don't, for fear of endless
recursion if some joker sets self.__call__ = self */
DECREF(call);
return 1;
}
return 0;
}
1990-10-14 09:07:46 -03:00
/*
NoObject is usable as a non-NULL undefined value, used by the macro None.
There is (and should be!) no way to create other objects of this type,
1990-12-20 11:06:42 -04:00
so there is exactly one (which is indestructible, by the way).
1990-10-14 09:07:46 -03:00
*/
1992-03-27 13:26:13 -04:00
/* ARGSUSED */
1990-12-20 11:06:42 -04:00
static object *
none_repr(op)
object *op;
{
return newstringobject("None");
1990-10-14 09:07:46 -03:00
}
static typeobject Notype = {
OB_HEAD_INIT(&Typetype)
0,
1990-12-20 11:06:42 -04:00
"None",
1990-10-14 09:07:46 -03:00
0,
0,
0, /*tp_dealloc*/ /*never called*/
0, /*tp_print*/
1990-12-20 11:06:42 -04:00
0, /*tp_getattr*/
0, /*tp_setattr*/
0, /*tp_compare*/
1994-08-30 05:27:36 -03:00
(reprfunc)none_repr, /*tp_repr*/
1990-12-20 11:06:42 -04:00
0, /*tp_as_number*/
0, /*tp_as_sequence*/
0, /*tp_as_mapping*/
0, /*tp_hash */
1990-10-14 09:07:46 -03:00
};
object NoObject = {
OB_HEAD_INIT(&Notype)
};
#ifdef Py_TRACE_REFS
1990-10-14 09:07:46 -03:00
static object refchain = {&refchain, &refchain};
NEWREF(op)
object *op;
{
ref_total++;
op->ob_refcnt = 1;
op->_ob_next = refchain._ob_next;
op->_ob_prev = &refchain;
refchain._ob_next->_ob_prev = op;
refchain._ob_next = op;
#ifdef COUNT_ALLOCS
inc_count(op->ob_type);
#endif
1990-10-14 09:07:46 -03:00
}
1990-12-20 11:06:42 -04:00
UNREF(op)
register object *op;
1990-10-14 09:07:46 -03:00
{
1990-12-20 11:06:42 -04:00
register object *p;
if (op->ob_refcnt < 0)
fatal("UNREF negative refcnt");
if (op == &refchain ||
op->_ob_prev->_ob_next != op || op->_ob_next->_ob_prev != op)
fatal("UNREF invalid object");
#ifdef SLOW_UNREF_CHECK
1990-12-20 11:06:42 -04:00
for (p = refchain._ob_next; p != &refchain; p = p->_ob_next) {
if (p == op)
break;
}
if (p == &refchain) /* Not found */
fatal("UNREF unknown object");
#endif
1990-10-14 09:07:46 -03:00
op->_ob_next->_ob_prev = op->_ob_prev;
op->_ob_prev->_ob_next = op->_ob_next;
op->_ob_next = op->_ob_prev = NULL;
1995-04-06 11:46:26 -03:00
#ifdef COUNT_ALLOCS
op->ob_type->tp_free++;
#endif
1990-12-20 11:06:42 -04:00
}
DELREF(op)
object *op;
{
destructor dealloc = op->ob_type->tp_dealloc;
1990-12-20 11:06:42 -04:00
UNREF(op);
op->ob_type = NULL;
(*dealloc)(op);
1990-10-14 09:07:46 -03:00
}
_Py_PrintReferences(fp)
1990-10-14 09:07:46 -03:00
FILE *fp;
{
object *op;
fprintf(fp, "Remaining objects (except strings referenced once):\n");
1990-10-14 09:07:46 -03:00
for (op = refchain._ob_next; op != &refchain; op = op->_ob_next) {
if (op->ob_refcnt == 1 && is_stringobject(op))
continue; /* Will be printed elsewhere */
1990-10-14 09:07:46 -03:00
fprintf(fp, "[%d] ", op->ob_refcnt);
1991-06-07 13:10:43 -03:00
if (printobject(op, fp, 0) != 0)
err_clear();
1990-10-14 09:07:46 -03:00
putc('\n', fp);
}
}
PyObject *
_Py_GetObjects(self, args)
PyObject *self;
PyObject *args;
{
int i, n;
PyObject *t = NULL;
PyObject *res, *op;
if (!PyArg_ParseTuple(args, "i|O", &n, &t))
return NULL;
op = refchain._ob_next;
res = PyList_New(0);
if (res == NULL)
return NULL;
for (i = 0; (n == 0 || i < n) && op != &refchain; i++) {
while (op == self || op == args || op == res || op == t ||
t != NULL && op->ob_type != (PyTypeObject *) t) {
op = op->_ob_next;
if (op == &refchain)
return res;
}
if (PyList_Append(res, op) < 0) {
Py_DECREF(res);
return NULL;
}
op = op->_ob_next;
}
return res;
}
1990-10-14 09:07:46 -03:00
#endif
1996-01-11 21:24:09 -04:00
/* Hack to force loading of cobject.o */
static PyTypeObject *cobject_hack = &PyCObject_Type;
/* Hack to force loading of abstract.o */
static int (*abstract_hack) FPROTO((PyObject *)) = &PyObject_Length;