0
0
mirror of https://github.com/python/cpython.git synced 2024-12-01 11:15:56 +01:00
cpython/Objects/object.c

492 lines
10 KiB
C
Raw Normal View History

1991-02-19 13:39:46 +01:00
/***********************************************************
Copyright 1991-1995 by Stichting Mathematisch Centrum, Amsterdam,
The Netherlands.
1991-02-19 13:39:46 +01: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 16:06:42 +01:00
/* Generic object operations; and implementation of None (NoObject) */
1990-10-14 13:07:46 +01:00
1990-12-20 16:06:42 +01:00
#include "allobjects.h"
1990-10-14 13:07:46 +01:00
1990-12-20 16:06:42 +01:00
#ifdef REF_DEBUG
long ref_total;
#endif
1990-10-14 13:07:46 +01:00
1990-12-20 16:06:42 +01: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 13:07:46 +01: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);
}
void
inc_count(tp)
typeobject *tp;
{
if (tp->tp_alloc == 0) {
/* first time; hang 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 13:07:46 +01: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 13:07:46 +01:00
return op;
}
varobject *
newvarobject(tp, size)
typeobject *tp;
unsigned int size;
{
varobject *op = (varobject *)
malloc(tp->tp_basicsize + size * tp->tp_itemsize);
if (op == NULL)
1991-05-05 22:10:41 +02:00
return (varobject *)err_nomem();
1990-10-14 13:07:46 +01:00
op->ob_type = tp;
op->ob_size = size;
NEWREF(op);
1990-10-14 13:07:46 +01:00
return op;
}
1991-06-07 18:10:43 +02:00
int
1990-10-14 13:07:46 +01:00
printobject(op, fp, flags)
object *op;
FILE *fp;
int flags;
{
int ret = 0;
1994-08-30 10:27:36 +02:00
if (sigcheck())
1991-06-07 18:10:43 +02:00
return -1;
if (op == NULL) {
fprintf(fp, "<nil>");
1990-10-14 13:07:46 +01:00
}
1991-06-07 18:10:43 +02: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 18:10:43 +02:00
else
ret = (*op->ob_type->tp_print)(op, fp, flags);
1991-06-07 18:10:43 +02:00
}
if (ret == 0) {
if (ferror(fp)) {
1991-12-10 14:59:09 +01:00
err_errno(IOError);
clearerr(fp);
ret = -1;
}
}
return ret;
1990-10-14 13:07:46 +01:00
}
object *
reprobject(v)
object *v;
{
1994-08-30 10:27:36 +02:00
if (sigcheck())
1991-06-07 18:10:43 +02: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 13:07:46 +01:00
}
1991-06-07 18:10:43 +02:00
else
return (*v->ob_type->tp_repr)(v);
1990-10-14 13:07:46 +01:00
}
object *
strobject(v)
object *v;
{
if (v == NULL)
return newstringobject("<NULL>");
if (is_stringobject(v)) {
INCREF(v);
return v;
}
else {
object *func = getattr(v, "__str__");
object *args;
object *res;
if (func == NULL) {
err_clear();
return reprobject(v);
}
args = newtupleobject(0);
if (args == NULL)
res = NULL;
else {
res = call_object(func, args);
DECREF(args);
}
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 13:07:46 +01: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 13:07:46 +01:00
return strcmp(tp->tp_name, w->ob_type->tp_name);
}
1990-10-14 13:07:46 +01:00
if (tp->tp_compare == NULL)
return (v < w) ? -1 : 1;
return (*tp->tp_compare)(v, w);
1990-10-14 13:07:46 +01: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 16:06:42 +01: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 16:06:42 +01: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 16:06:42 +01: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 16:06:42 +01:00
else
err_setstr(TypeError,
"object has read-only attributes");
1990-12-21 00:12:40 +01:00
return -1;
1990-12-20 16:06:42 +01: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 16:06:42 +01: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 13:07:46 +01: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 16:06:42 +01:00
so there is exactly one (which is indestructible, by the way).
1990-10-14 13:07:46 +01:00
*/
1992-03-27 18:26:13 +01:00
/* ARGSUSED */
1990-12-20 16:06:42 +01:00
static object *
none_repr(op)
object *op;
{
return newstringobject("None");
1990-10-14 13:07:46 +01:00
}
static typeobject Notype = {
OB_HEAD_INIT(&Typetype)
0,
1990-12-20 16:06:42 +01:00
"None",
1990-10-14 13:07:46 +01:00
0,
0,
0, /*tp_dealloc*/ /*never called*/
0, /*tp_print*/
1990-12-20 16:06:42 +01:00
0, /*tp_getattr*/
0, /*tp_setattr*/
0, /*tp_compare*/
1994-08-30 10:27:36 +02:00
(reprfunc)none_repr, /*tp_repr*/
1990-12-20 16:06:42 +01:00
0, /*tp_as_number*/
0, /*tp_as_sequence*/
0, /*tp_as_mapping*/
0, /*tp_hash */
1990-10-14 13:07:46 +01:00
};
object NoObject = {
OB_HEAD_INIT(&Notype)
};
#ifdef TRACE_REFS
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 13:07:46 +01:00
}
1990-12-20 16:06:42 +01:00
UNREF(op)
register object *op;
1990-10-14 13:07:46 +01:00
{
1990-12-20 16:06:42 +01: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 16:06:42 +01: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 13:07:46 +01:00
op->_ob_next->_ob_prev = op->_ob_prev;
op->_ob_prev->_ob_next = op->_ob_next;
op->_ob_next = op->_ob_prev = NULL;
1990-12-20 16:06:42 +01:00
}
DELREF(op)
object *op;
{
destructor dealloc = op->ob_type->tp_dealloc;
1990-12-20 16:06:42 +01:00
UNREF(op);
#ifdef COUNT_ALLOCS
op->ob_type->tp_free++;
#endif
op->ob_type = NULL;
(*dealloc)(op);
1990-10-14 13:07:46 +01:00
}
printrefs(fp)
FILE *fp;
{
object *op;
fprintf(fp, "Remaining objects (except strings referenced once):\n");
1990-10-14 13:07:46 +01: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 13:07:46 +01:00
fprintf(fp, "[%d] ", op->ob_refcnt);
1991-06-07 18:10:43 +02:00
if (printobject(op, fp, 0) != 0)
err_clear();
1990-10-14 13:07:46 +01:00
putc('\n', fp);
}
}
#endif