annotate liboctave/util/lo-traits.h @ 21244:1473547f50f5

include octave-config.h in public header files * mk-opts.pl, mkbuiltins, mk-ops.awk, sparse-mk-ops.awk: Emit "#include octave-config.h" statement for generated header files. * build-env.h, builtins.h, Cell.h, base-text-renderer.h, c-file-ptr-stream.h, cdisplay.h, comment-list.h, data.h, debug.h, defaults.in.h, defun-dld.h, defun-int.h, defun.h, dirfns.h, display.h, dynamic-ld.h, error.h, errwarn.h, event-queue.h, file-io.h, ft-text-renderer.h, gl-render.h, gl2ps-print.h, graphics.in.h, gripes.h, help.h, hook-fcn.h, input.h, jit-ir.h, jit-typeinfo.h, jit-util.h, load-path.h, load-save.h, ls-ascii-helper.h, ls-hdf5.h, ls-mat-ascii.h, ls-mat4.h, ls-mat5.h, ls-oct-binary.h, ls-oct-text.h, ls-utils.h, mex.h, mexproto.h, mxarray.in.h, oct-errno.h, oct-fstrm.h, oct-handle.h, oct-hdf5-types.h, oct-hdf5.h, oct-hist.h, oct-iostrm.h, oct-lvalue.h, oct-map.h, oct-obj.h, oct-opengl.h, oct-prcstrm.h, oct-procbuf.h, oct-stdstrm.h, oct-stream.h, oct-strstrm.h, oct.h, octave-default-image.h, octave-link.h, octave-preserve-stream-state.h, pager.h, pr-output.h, procstream.h, profiler.h, pt-jit.h, sighandlers.h, siglist.h, sparse-xdiv.h, sparse-xpow.h, symtab.h, sysdep.h, text-renderer.h, toplev.h, txt-eng.h, utils.h, variables.h, workspace-element.h, xdiv.h, xnorm.h, xpow.h, zfstream.h, oct-qhull.h, ov-base-diag.h, ov-base-int.h, ov-base-mat.h, ov-base-scalar.h, ov-base-sparse.h, ov-base.h, ov-bool-mat.h, ov-bool-sparse.h, ov-bool.h, ov-builtin.h, ov-cell.h, ov-ch-mat.h, ov-class.h, ov-classdef.h, ov-colon.h, ov-complex.h, ov-cs-list.h, ov-cx-diag.h, ov-cx-mat.h, ov-cx-sparse.h, ov-dld-fcn.h, ov-fcn-handle.h, ov-fcn-inline.h, ov-fcn.h, ov-float.h, ov-flt-complex.h, ov-flt-cx-diag.h, ov-flt-cx-mat.h, ov-flt-re-diag.h, ov-flt-re-mat.h, ov-int-traits.h, ov-int16.h, ov-int32.h, ov-int64.h, ov-int8.h, ov-intx.h, ov-java.h, ov-lazy-idx.h, ov-mex-fcn.h, ov-null-mat.h, ov-oncleanup.h, ov-perm.h, ov-range.h, ov-re-diag.h, ov-re-mat.h, ov-re-sparse.h, ov-scalar.h, ov-str-mat.h, ov-struct.h, ov-type-conv.h, ov-typeinfo.h, ov-uint16.h, ov-uint32.h, ov-uint64.h, ov-uint8.h, ov-usr-fcn.h, ov.h, ovl.h, octave.h, op-int.h, ops.h, options-usage.h, lex.h, parse.h, pt-all.h, pt-arg-list.h, pt-array-list.h, pt-assign.h, pt-binop.h, pt-bp.h, pt-cbinop.h, pt-cell.h, pt-check.h, pt-classdef.h, pt-cmd.h, pt-colon.h, pt-const.h, pt-decl.h, pt-eval.h, pt-except.h, pt-exp.h, pt-fcn-handle.h, pt-funcall.h, pt-id.h, pt-idx.h, pt-jump.h, pt-loop.h, pt-mat.h, pt-misc.h, pt-pr-code.h, pt-select.h, pt-stmt.h, pt-unop.h, pt-walk.h, pt.h, token.h, version.in.h, Array-util.h, Array.h, CColVector.h, CDiagMatrix.h, CMatrix.h, CNDArray.h, CRowVector.h, CSparse.h, DiagArray2.h, MArray.h, MDiagArray2.h, MSparse.h, Matrix.h, MatrixType.h, PermMatrix.h, Range.h, Sparse.h, boolMatrix.h, boolNDArray.h, boolSparse.h, chMatrix.h, chNDArray.h, dColVector.h, dDiagMatrix.h, dMatrix.h, dNDArray.h, dRowVector.h, dSparse.h, dim-vector.h, fCColVector.h, fCDiagMatrix.h, fCMatrix.h, fCNDArray.h, fCRowVector.h, fColVector.h, fDiagMatrix.h, fMatrix.h, fNDArray.h, fRowVector.h, idx-vector.h, int16NDArray.h, int32NDArray.h, int64NDArray.h, int8NDArray.h, intNDArray.h, uint16NDArray.h, uint32NDArray.h, uint64NDArray.h, uint8NDArray.h, f77-fcn.h, lo-error.h, quit.h, CmplxAEPBAL.h, CmplxCHOL.h, CmplxGEPBAL.h, CmplxHESS.h, CmplxLU.h, CmplxQR.h, CmplxQRP.h, CmplxSCHUR.h, CmplxSVD.h, CollocWt.h, DAE.h, DAEFunc.h, DAERT.h, DAERTFunc.h, DASPK.h, DASRT.h, DASSL.h, DET.h, EIG.h, LSODE.h, ODE.h, ODEFunc.h, ODES.h, ODESFunc.h, Quad.h, base-aepbal.h, base-dae.h, base-de.h, base-lu.h, base-min.h, base-qr.h, bsxfun-decl.h, bsxfun.h, dbleAEPBAL.h, dbleCHOL.h, dbleGEPBAL.h, dbleHESS.h, dbleLU.h, dbleQR.h, dbleQRP.h, dbleSCHUR.h, dbleSVD.h, eigs-base.h, fCmplxAEPBAL.h, fCmplxCHOL.h, fCmplxGEPBAL.h, fCmplxHESS.h, fCmplxLU.h, fCmplxQR.h, fCmplxQRP.h, fCmplxSCHUR.h, fCmplxSVD.h, fEIG.h, floatAEPBAL.h, floatCHOL.h, floatGEPBAL.h, floatHESS.h, floatLU.h, floatQR.h, floatQRP.h, floatSCHUR.h, floatSVD.h, lo-mappers.h, lo-specfun.h, oct-convn.h, oct-fftw.h, oct-norm.h, oct-rand.h, oct-spparms.h, randgamma.h, randmtzig.h, randpoisson.h, sparse-chol.h, sparse-dmsolve.h, sparse-lu.h, sparse-qr.h, Sparse-diag-op-defs.h, Sparse-op-decls.h, Sparse-op-defs.h, Sparse-perm-op-defs.h, mx-base.h, mx-defs.h, mx-ext.h, mx-op-decl.h, mx-op-defs.h, dir-ops.h, file-ops.h, file-stat.h, lo-sysdep.h, mach-info.h, oct-env.h, oct-group.h, oct-openmp.h, oct-passwd.h, oct-syscalls.h, oct-time.h, oct-uname.h, pathlen.h, sysdir.h, syswait.h, action-container.h, base-list.h, byte-swap.h, caseless-str.h, cmd-edit.h, cmd-hist.h, data-conv.h, functor.h, glob-match.h, lo-array-errwarn.h, lo-array-gripes.h, lo-cutils.h, lo-ieee.h, lo-macros.h, lo-math.h, lo-regexp.h, lo-traits.h, lo-utils.h, oct-alloc.h, oct-base64.h, oct-binmap.h, oct-cmplx.h, oct-glob.h, oct-inttypes.h, oct-locbuf.h, oct-mutex.h, oct-refcount.h, oct-rl-edit.h, oct-rl-hist.h, oct-shlib.h, oct-sort.h, oct-sparse.h, pathsearch.h, singleton-cleanup.h, sparse-sort.h, sparse-util.h, statdefs.h, str-vec.h, sun-utils.h, unwind-prot.h, url-transfer.h: Include octave-config.h.
author John W. Eaton <jwe@octave.org>
date Wed, 10 Feb 2016 14:25:53 -0500
parents 538b57866b90
children bac0d6f07a3e
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
8725
d5af326a3ede [mq]: sort-traits
John W. Eaton <jwe@octave.org>
parents:
diff changeset
1 /*
d5af326a3ede [mq]: sort-traits
John W. Eaton <jwe@octave.org>
parents:
diff changeset
2
19697
4197fc428c7d maint: Update copyright notices for 2015.
John W. Eaton <jwe@octave.org>
parents: 17822
diff changeset
3 Copyright (C) 2009-2015 John W. Eaton
8725
d5af326a3ede [mq]: sort-traits
John W. Eaton <jwe@octave.org>
parents:
diff changeset
4
d5af326a3ede [mq]: sort-traits
John W. Eaton <jwe@octave.org>
parents:
diff changeset
5 This file is part of Octave.
d5af326a3ede [mq]: sort-traits
John W. Eaton <jwe@octave.org>
parents:
diff changeset
6
d5af326a3ede [mq]: sort-traits
John W. Eaton <jwe@octave.org>
parents:
diff changeset
7 Octave is free software; you can redistribute it and/or modify it
d5af326a3ede [mq]: sort-traits
John W. Eaton <jwe@octave.org>
parents:
diff changeset
8 under the terms of the GNU General Public License as published by the
d5af326a3ede [mq]: sort-traits
John W. Eaton <jwe@octave.org>
parents:
diff changeset
9 Free Software Foundation; either version 3 of the License, or (at your
d5af326a3ede [mq]: sort-traits
John W. Eaton <jwe@octave.org>
parents:
diff changeset
10 option) any later version.
d5af326a3ede [mq]: sort-traits
John W. Eaton <jwe@octave.org>
parents:
diff changeset
11
d5af326a3ede [mq]: sort-traits
John W. Eaton <jwe@octave.org>
parents:
diff changeset
12 Octave is distributed in the hope that it will be useful, but WITHOUT
d5af326a3ede [mq]: sort-traits
John W. Eaton <jwe@octave.org>
parents:
diff changeset
13 ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
d5af326a3ede [mq]: sort-traits
John W. Eaton <jwe@octave.org>
parents:
diff changeset
14 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
d5af326a3ede [mq]: sort-traits
John W. Eaton <jwe@octave.org>
parents:
diff changeset
15 for more details.
d5af326a3ede [mq]: sort-traits
John W. Eaton <jwe@octave.org>
parents:
diff changeset
16
d5af326a3ede [mq]: sort-traits
John W. Eaton <jwe@octave.org>
parents:
diff changeset
17 You should have received a copy of the GNU General Public License
d5af326a3ede [mq]: sort-traits
John W. Eaton <jwe@octave.org>
parents:
diff changeset
18 along with Octave; see the file COPYING. If not, see
d5af326a3ede [mq]: sort-traits
John W. Eaton <jwe@octave.org>
parents:
diff changeset
19 <http://www.gnu.org/licenses/>.
d5af326a3ede [mq]: sort-traits
John W. Eaton <jwe@octave.org>
parents:
diff changeset
20
d5af326a3ede [mq]: sort-traits
John W. Eaton <jwe@octave.org>
parents:
diff changeset
21 */
d5af326a3ede [mq]: sort-traits
John W. Eaton <jwe@octave.org>
parents:
diff changeset
22
20791
f7084eae3318 maint: Use Octave coding conventions for #if statements.
Rik <rik@octave.org>
parents: 19697
diff changeset
23 #if ! defined (octave_lo_traits_h)
17822
ebb3ef964372 maint: Use common #define syntax "octave_filename_h" in h_files.
Rik <rik@octave.org>
parents: 17744
diff changeset
24 #define octave_lo_traits_h 1
8725
d5af326a3ede [mq]: sort-traits
John W. Eaton <jwe@octave.org>
parents:
diff changeset
25
21244
1473547f50f5 include octave-config.h in public header files
John W. Eaton <jwe@octave.org>
parents: 21139
diff changeset
26 #include "octave-config.h"
1473547f50f5 include octave-config.h in public header files
John W. Eaton <jwe@octave.org>
parents: 21139
diff changeset
27
8726
0f6683a8150a some comments for lo-traits.h
John W. Eaton <jwe@octave.org>
parents: 8725
diff changeset
28 // Ideas for these classes taken from C++ Templates, The Complete
0f6683a8150a some comments for lo-traits.h
John W. Eaton <jwe@octave.org>
parents: 8725
diff changeset
29 // Guide by David Vandevoorde and Nicolai M. Josuttis, Addison-Wesley
0f6683a8150a some comments for lo-traits.h
John W. Eaton <jwe@octave.org>
parents: 8725
diff changeset
30 // (2003).
0f6683a8150a some comments for lo-traits.h
John W. Eaton <jwe@octave.org>
parents: 8725
diff changeset
31
0f6683a8150a some comments for lo-traits.h
John W. Eaton <jwe@octave.org>
parents: 8725
diff changeset
32 // Select a type based on the value of a constant expression.
0f6683a8150a some comments for lo-traits.h
John W. Eaton <jwe@octave.org>
parents: 8725
diff changeset
33
8725
d5af326a3ede [mq]: sort-traits
John W. Eaton <jwe@octave.org>
parents:
diff changeset
34 template <bool cond, typename T1, typename T2>
d5af326a3ede [mq]: sort-traits
John W. Eaton <jwe@octave.org>
parents:
diff changeset
35 class if_then_else;
d5af326a3ede [mq]: sort-traits
John W. Eaton <jwe@octave.org>
parents:
diff changeset
36
21139
538b57866b90 consistently use "typename" intead of "class" in template declarations
John W. Eaton <jwe@octave.org>
parents: 20791
diff changeset
37 template <typename T1, typename T2>
8725
d5af326a3ede [mq]: sort-traits
John W. Eaton <jwe@octave.org>
parents:
diff changeset
38 class if_then_else<true, T1, T2>
d5af326a3ede [mq]: sort-traits
John W. Eaton <jwe@octave.org>
parents:
diff changeset
39 {
d5af326a3ede [mq]: sort-traits
John W. Eaton <jwe@octave.org>
parents:
diff changeset
40 public:
d5af326a3ede [mq]: sort-traits
John W. Eaton <jwe@octave.org>
parents:
diff changeset
41
d5af326a3ede [mq]: sort-traits
John W. Eaton <jwe@octave.org>
parents:
diff changeset
42 typedef T1 result;
d5af326a3ede [mq]: sort-traits
John W. Eaton <jwe@octave.org>
parents:
diff changeset
43 };
d5af326a3ede [mq]: sort-traits
John W. Eaton <jwe@octave.org>
parents:
diff changeset
44
21139
538b57866b90 consistently use "typename" intead of "class" in template declarations
John W. Eaton <jwe@octave.org>
parents: 20791
diff changeset
45 template <typename T1, typename T2>
8725
d5af326a3ede [mq]: sort-traits
John W. Eaton <jwe@octave.org>
parents:
diff changeset
46 class if_then_else<false, T1, T2>
d5af326a3ede [mq]: sort-traits
John W. Eaton <jwe@octave.org>
parents:
diff changeset
47 {
d5af326a3ede [mq]: sort-traits
John W. Eaton <jwe@octave.org>
parents:
diff changeset
48 public:
d5af326a3ede [mq]: sort-traits
John W. Eaton <jwe@octave.org>
parents:
diff changeset
49
d5af326a3ede [mq]: sort-traits
John W. Eaton <jwe@octave.org>
parents:
diff changeset
50 typedef T2 result;
d5af326a3ede [mq]: sort-traits
John W. Eaton <jwe@octave.org>
parents:
diff changeset
51 };
d5af326a3ede [mq]: sort-traits
John W. Eaton <jwe@octave.org>
parents:
diff changeset
52
9721
192d94cff6c1 improve sum & implement the 'extra' option, refactor some code
Jaroslav Hajek <highegg@gmail.com>
parents: 9685
diff changeset
53 // Determine whether two types are equal.
21139
538b57866b90 consistently use "typename" intead of "class" in template declarations
John W. Eaton <jwe@octave.org>
parents: 20791
diff changeset
54 template <typename T1, typename T2>
9721
192d94cff6c1 improve sum & implement the 'extra' option, refactor some code
Jaroslav Hajek <highegg@gmail.com>
parents: 9685
diff changeset
55 class equal_types
192d94cff6c1 improve sum & implement the 'extra' option, refactor some code
Jaroslav Hajek <highegg@gmail.com>
parents: 9685
diff changeset
56 {
192d94cff6c1 improve sum & implement the 'extra' option, refactor some code
Jaroslav Hajek <highegg@gmail.com>
parents: 9685
diff changeset
57 public:
192d94cff6c1 improve sum & implement the 'extra' option, refactor some code
Jaroslav Hajek <highegg@gmail.com>
parents: 9685
diff changeset
58
192d94cff6c1 improve sum & implement the 'extra' option, refactor some code
Jaroslav Hajek <highegg@gmail.com>
parents: 9685
diff changeset
59 static const bool value = false;
192d94cff6c1 improve sum & implement the 'extra' option, refactor some code
Jaroslav Hajek <highegg@gmail.com>
parents: 9685
diff changeset
60 };
192d94cff6c1 improve sum & implement the 'extra' option, refactor some code
Jaroslav Hajek <highegg@gmail.com>
parents: 9685
diff changeset
61
21139
538b57866b90 consistently use "typename" intead of "class" in template declarations
John W. Eaton <jwe@octave.org>
parents: 20791
diff changeset
62 template <typename T>
9721
192d94cff6c1 improve sum & implement the 'extra' option, refactor some code
Jaroslav Hajek <highegg@gmail.com>
parents: 9685
diff changeset
63 class equal_types <T, T>
192d94cff6c1 improve sum & implement the 'extra' option, refactor some code
Jaroslav Hajek <highegg@gmail.com>
parents: 9685
diff changeset
64 {
192d94cff6c1 improve sum & implement the 'extra' option, refactor some code
Jaroslav Hajek <highegg@gmail.com>
parents: 9685
diff changeset
65 public:
192d94cff6c1 improve sum & implement the 'extra' option, refactor some code
Jaroslav Hajek <highegg@gmail.com>
parents: 9685
diff changeset
66
10758
f3892d8eea9f optimize horzcat/vertcat for scalars, cells and structs
Jaroslav Hajek <highegg@gmail.com>
parents: 10158
diff changeset
67 static const bool value = true;
9721
192d94cff6c1 improve sum & implement the 'extra' option, refactor some code
Jaroslav Hajek <highegg@gmail.com>
parents: 9685
diff changeset
68 };
192d94cff6c1 improve sum & implement the 'extra' option, refactor some code
Jaroslav Hajek <highegg@gmail.com>
parents: 9685
diff changeset
69
192d94cff6c1 improve sum & implement the 'extra' option, refactor some code
Jaroslav Hajek <highegg@gmail.com>
parents: 9685
diff changeset
70 // Determine whether a type is an instance of a template.
192d94cff6c1 improve sum & implement the 'extra' option, refactor some code
Jaroslav Hajek <highegg@gmail.com>
parents: 9685
diff changeset
71
21139
538b57866b90 consistently use "typename" intead of "class" in template declarations
John W. Eaton <jwe@octave.org>
parents: 20791
diff changeset
72 template <template <typename> class Template, typename T>
9721
192d94cff6c1 improve sum & implement the 'extra' option, refactor some code
Jaroslav Hajek <highegg@gmail.com>
parents: 9685
diff changeset
73 class is_instance
192d94cff6c1 improve sum & implement the 'extra' option, refactor some code
Jaroslav Hajek <highegg@gmail.com>
parents: 9685
diff changeset
74 {
192d94cff6c1 improve sum & implement the 'extra' option, refactor some code
Jaroslav Hajek <highegg@gmail.com>
parents: 9685
diff changeset
75 public:
192d94cff6c1 improve sum & implement the 'extra' option, refactor some code
Jaroslav Hajek <highegg@gmail.com>
parents: 9685
diff changeset
76
192d94cff6c1 improve sum & implement the 'extra' option, refactor some code
Jaroslav Hajek <highegg@gmail.com>
parents: 9685
diff changeset
77 static const bool value = false;
192d94cff6c1 improve sum & implement the 'extra' option, refactor some code
Jaroslav Hajek <highegg@gmail.com>
parents: 9685
diff changeset
78 };
192d94cff6c1 improve sum & implement the 'extra' option, refactor some code
Jaroslav Hajek <highegg@gmail.com>
parents: 9685
diff changeset
79
21139
538b57866b90 consistently use "typename" intead of "class" in template declarations
John W. Eaton <jwe@octave.org>
parents: 20791
diff changeset
80 template <template <typename> class Template, typename T>
9721
192d94cff6c1 improve sum & implement the 'extra' option, refactor some code
Jaroslav Hajek <highegg@gmail.com>
parents: 9685
diff changeset
81 class is_instance <Template, Template<T> >
192d94cff6c1 improve sum & implement the 'extra' option, refactor some code
Jaroslav Hajek <highegg@gmail.com>
parents: 9685
diff changeset
82 {
192d94cff6c1 improve sum & implement the 'extra' option, refactor some code
Jaroslav Hajek <highegg@gmail.com>
parents: 9685
diff changeset
83 public:
192d94cff6c1 improve sum & implement the 'extra' option, refactor some code
Jaroslav Hajek <highegg@gmail.com>
parents: 9685
diff changeset
84
192d94cff6c1 improve sum & implement the 'extra' option, refactor some code
Jaroslav Hajek <highegg@gmail.com>
parents: 9685
diff changeset
85 static const bool value = true;
192d94cff6c1 improve sum & implement the 'extra' option, refactor some code
Jaroslav Hajek <highegg@gmail.com>
parents: 9685
diff changeset
86 };
192d94cff6c1 improve sum & implement the 'extra' option, refactor some code
Jaroslav Hajek <highegg@gmail.com>
parents: 9685
diff changeset
87
8726
0f6683a8150a some comments for lo-traits.h
John W. Eaton <jwe@octave.org>
parents: 8725
diff changeset
88 // Determine whether a template paramter is a class type.
0f6683a8150a some comments for lo-traits.h
John W. Eaton <jwe@octave.org>
parents: 8725
diff changeset
89
21139
538b57866b90 consistently use "typename" intead of "class" in template declarations
John W. Eaton <jwe@octave.org>
parents: 20791
diff changeset
90 template <typename T1>
8725
d5af326a3ede [mq]: sort-traits
John W. Eaton <jwe@octave.org>
parents:
diff changeset
91 class is_class_type
d5af326a3ede [mq]: sort-traits
John W. Eaton <jwe@octave.org>
parents:
diff changeset
92 {
d5af326a3ede [mq]: sort-traits
John W. Eaton <jwe@octave.org>
parents:
diff changeset
93 private:
d5af326a3ede [mq]: sort-traits
John W. Eaton <jwe@octave.org>
parents:
diff changeset
94
d5af326a3ede [mq]: sort-traits
John W. Eaton <jwe@octave.org>
parents:
diff changeset
95 typedef char one;
d5af326a3ede [mq]: sort-traits
John W. Eaton <jwe@octave.org>
parents:
diff changeset
96 typedef struct { char c[2]; } two;
d5af326a3ede [mq]: sort-traits
John W. Eaton <jwe@octave.org>
parents:
diff changeset
97
d5af326a3ede [mq]: sort-traits
John W. Eaton <jwe@octave.org>
parents:
diff changeset
98 // Classes can have pointers to members.
21139
538b57866b90 consistently use "typename" intead of "class" in template declarations
John W. Eaton <jwe@octave.org>
parents: 20791
diff changeset
99 template <typename T2> static one is_class_type_test (int T2::*);
8725
d5af326a3ede [mq]: sort-traits
John W. Eaton <jwe@octave.org>
parents:
diff changeset
100
d5af326a3ede [mq]: sort-traits
John W. Eaton <jwe@octave.org>
parents:
diff changeset
101 // Catch everything else.
21139
538b57866b90 consistently use "typename" intead of "class" in template declarations
John W. Eaton <jwe@octave.org>
parents: 20791
diff changeset
102 template <typename T2> static two is_class_type_test (...);
8725
d5af326a3ede [mq]: sort-traits
John W. Eaton <jwe@octave.org>
parents:
diff changeset
103
d5af326a3ede [mq]: sort-traits
John W. Eaton <jwe@octave.org>
parents:
diff changeset
104 public:
d5af326a3ede [mq]: sort-traits
John W. Eaton <jwe@octave.org>
parents:
diff changeset
105
d5af326a3ede [mq]: sort-traits
John W. Eaton <jwe@octave.org>
parents:
diff changeset
106 enum { yes = sizeof (is_class_type_test<T1> (0)) == 1 };
d5af326a3ede [mq]: sort-traits
John W. Eaton <jwe@octave.org>
parents:
diff changeset
107 enum { no = ! yes };
d5af326a3ede [mq]: sort-traits
John W. Eaton <jwe@octave.org>
parents:
diff changeset
108 };
d5af326a3ede [mq]: sort-traits
John W. Eaton <jwe@octave.org>
parents:
diff changeset
109
8726
0f6683a8150a some comments for lo-traits.h
John W. Eaton <jwe@octave.org>
parents: 8725
diff changeset
110 // Define typename ref_param<T>::type as T const& if T is a class
0f6683a8150a some comments for lo-traits.h
John W. Eaton <jwe@octave.org>
parents: 8725
diff changeset
111 // type. Otherwise, define it to be T.
0f6683a8150a some comments for lo-traits.h
John W. Eaton <jwe@octave.org>
parents: 8725
diff changeset
112
21139
538b57866b90 consistently use "typename" intead of "class" in template declarations
John W. Eaton <jwe@octave.org>
parents: 20791
diff changeset
113 template <typename T>
8725
d5af326a3ede [mq]: sort-traits
John W. Eaton <jwe@octave.org>
parents:
diff changeset
114 class ref_param
d5af326a3ede [mq]: sort-traits
John W. Eaton <jwe@octave.org>
parents:
diff changeset
115 {
d5af326a3ede [mq]: sort-traits
John W. Eaton <jwe@octave.org>
parents:
diff changeset
116 public:
d5af326a3ede [mq]: sort-traits
John W. Eaton <jwe@octave.org>
parents:
diff changeset
117
d5af326a3ede [mq]: sort-traits
John W. Eaton <jwe@octave.org>
parents:
diff changeset
118 typedef typename if_then_else<is_class_type<T>::no, T, T const&>::result type;
d5af326a3ede [mq]: sort-traits
John W. Eaton <jwe@octave.org>
parents:
diff changeset
119 };
d5af326a3ede [mq]: sort-traits
John W. Eaton <jwe@octave.org>
parents:
diff changeset
120
9685
e793865ede63 implement builtin_type
Jaroslav Hajek <highegg@gmail.com>
parents: 8726
diff changeset
121 // Will turn TemplatedClass<T> to T, leave T otherwise.
e793865ede63 implement builtin_type
Jaroslav Hajek <highegg@gmail.com>
parents: 8726
diff changeset
122 // Useful for stripping wrapper classes, like octave_int.
e793865ede63 implement builtin_type
Jaroslav Hajek <highegg@gmail.com>
parents: 8726
diff changeset
123
21139
538b57866b90 consistently use "typename" intead of "class" in template declarations
John W. Eaton <jwe@octave.org>
parents: 20791
diff changeset
124 template <template <typename> class TemplatedClass, typename T>
9685
e793865ede63 implement builtin_type
Jaroslav Hajek <highegg@gmail.com>
parents: 8726
diff changeset
125 class strip_template_param
e793865ede63 implement builtin_type
Jaroslav Hajek <highegg@gmail.com>
parents: 8726
diff changeset
126 {
e793865ede63 implement builtin_type
Jaroslav Hajek <highegg@gmail.com>
parents: 8726
diff changeset
127 public:
e793865ede63 implement builtin_type
Jaroslav Hajek <highegg@gmail.com>
parents: 8726
diff changeset
128 typedef T type;
e793865ede63 implement builtin_type
Jaroslav Hajek <highegg@gmail.com>
parents: 8726
diff changeset
129 };
e793865ede63 implement builtin_type
Jaroslav Hajek <highegg@gmail.com>
parents: 8726
diff changeset
130
21139
538b57866b90 consistently use "typename" intead of "class" in template declarations
John W. Eaton <jwe@octave.org>
parents: 20791
diff changeset
131 template <template <typename> class TemplatedClass, typename T>
9685
e793865ede63 implement builtin_type
Jaroslav Hajek <highegg@gmail.com>
parents: 8726
diff changeset
132 class strip_template_param<TemplatedClass, TemplatedClass<T> >
e793865ede63 implement builtin_type
Jaroslav Hajek <highegg@gmail.com>
parents: 8726
diff changeset
133 {
e793865ede63 implement builtin_type
Jaroslav Hajek <highegg@gmail.com>
parents: 8726
diff changeset
134 public:
e793865ede63 implement builtin_type
Jaroslav Hajek <highegg@gmail.com>
parents: 8726
diff changeset
135 typedef T type;
e793865ede63 implement builtin_type
Jaroslav Hajek <highegg@gmail.com>
parents: 8726
diff changeset
136 };
e793865ede63 implement builtin_type
Jaroslav Hajek <highegg@gmail.com>
parents: 8726
diff changeset
137
9721
192d94cff6c1 improve sum & implement the 'extra' option, refactor some code
Jaroslav Hajek <highegg@gmail.com>
parents: 9685
diff changeset
138 // Will turn TemplatedClass<T> to TemplatedClass<S>, T to S otherwise.
192d94cff6c1 improve sum & implement the 'extra' option, refactor some code
Jaroslav Hajek <highegg@gmail.com>
parents: 9685
diff changeset
139 // Useful for generic promotions.
192d94cff6c1 improve sum & implement the 'extra' option, refactor some code
Jaroslav Hajek <highegg@gmail.com>
parents: 9685
diff changeset
140
21139
538b57866b90 consistently use "typename" intead of "class" in template declarations
John W. Eaton <jwe@octave.org>
parents: 20791
diff changeset
141 template <template <typename> class TemplatedClass, typename T, typename S>
9721
192d94cff6c1 improve sum & implement the 'extra' option, refactor some code
Jaroslav Hajek <highegg@gmail.com>
parents: 9685
diff changeset
142 class subst_template_param
192d94cff6c1 improve sum & implement the 'extra' option, refactor some code
Jaroslav Hajek <highegg@gmail.com>
parents: 9685
diff changeset
143 {
192d94cff6c1 improve sum & implement the 'extra' option, refactor some code
Jaroslav Hajek <highegg@gmail.com>
parents: 9685
diff changeset
144 public:
192d94cff6c1 improve sum & implement the 'extra' option, refactor some code
Jaroslav Hajek <highegg@gmail.com>
parents: 9685
diff changeset
145 typedef S type;
192d94cff6c1 improve sum & implement the 'extra' option, refactor some code
Jaroslav Hajek <highegg@gmail.com>
parents: 9685
diff changeset
146 };
192d94cff6c1 improve sum & implement the 'extra' option, refactor some code
Jaroslav Hajek <highegg@gmail.com>
parents: 9685
diff changeset
147
21139
538b57866b90 consistently use "typename" intead of "class" in template declarations
John W. Eaton <jwe@octave.org>
parents: 20791
diff changeset
148 template <template <typename> class TemplatedClass, typename T, typename S>
9721
192d94cff6c1 improve sum & implement the 'extra' option, refactor some code
Jaroslav Hajek <highegg@gmail.com>
parents: 9685
diff changeset
149 class subst_template_param<TemplatedClass, TemplatedClass<T>, S>
192d94cff6c1 improve sum & implement the 'extra' option, refactor some code
Jaroslav Hajek <highegg@gmail.com>
parents: 9685
diff changeset
150 {
192d94cff6c1 improve sum & implement the 'extra' option, refactor some code
Jaroslav Hajek <highegg@gmail.com>
parents: 9685
diff changeset
151 public:
192d94cff6c1 improve sum & implement the 'extra' option, refactor some code
Jaroslav Hajek <highegg@gmail.com>
parents: 9685
diff changeset
152 typedef TemplatedClass<S> type;
192d94cff6c1 improve sum & implement the 'extra' option, refactor some code
Jaroslav Hajek <highegg@gmail.com>
parents: 9685
diff changeset
153 };
192d94cff6c1 improve sum & implement the 'extra' option, refactor some code
Jaroslav Hajek <highegg@gmail.com>
parents: 9685
diff changeset
154
8725
d5af326a3ede [mq]: sort-traits
John W. Eaton <jwe@octave.org>
parents:
diff changeset
155 #endif