Typeof Explained

typeof, alternately also typeOf, and TypeOf, is an operator provided by several programming languages to determine the data type of a variable. This is useful when constructing programs that must accept multiple types of data without explicitly specifying the type.

In languages that support polymorphism and type casting, the typeof operator may have one of two distinct meanings when applied to an object. In some languages, such as Visual Basic,^[1] the typeof operator returns the dynamic type of the object. That is, it returns the true, original type of the object, irrespective of any type casting. In these languages, the typeof operator is the method for obtaining run-time type information.

In other languages, such as C#^[2] or D^[3] and, to some degree, in C (as part of nonstandard extensions and proposed standard revisions),^{[4] [5]} the typeof operator returns the static type of the operand. That is, it evaluates to the declared type at that instant in the program, irrespective of its original form. These languages usually have other constructs for obtaining run-time type information, such as typeid.

Examples

In a non-standard (GNU) extension of the C programming language, typeof may be used to define a general macro for determining the maximum value of two parameters:

1. define max(a,b)

In C#:// Given an object, returns if it is an integer.// The "is" operator can be also used to determine this.public static bool IsInteger(object o)As of C23 typeof is a part of the C standard. The operator typeof_unqual was also added which is the same as typeof, except it removes cvr-qualification and atomic qualification.^{[6] [7]} In VB.NET, the C# variant of "typeof" should be translated into the VB.NET's GetType method. The TypeOf keyword in VB.NET is used to compare an object reference variable to a data type.

The following example uses TypeOf...Is expressions to test the type compatibility of two object reference variables with various data types.Dim refInteger As Object = 2

MsgBox("TypeOf Object[Integer] Is Integer? " & TypeOf refInteger Is Integer)MsgBox("TypeOf Object[Integer] Is Double? " & TypeOf refInteger Is Double)

Dim refForm As Object = New System.Windows.Forms.Form

MsgBox("TypeOf Object[Form] Is Form? " & TypeOf refForm Is System.Windows.Forms.Form)MsgBox("TypeOf Object[Form] Is Label? " & TypeOf refForm Is System.Windows.Forms.Label)MsgBox("TypeOf Object[Form] Is Control? " & TypeOf refForm Is System.Windows.Forms.Control)MsgBox("TypeOf Object[Form] Is IComponent? " & TypeOf refForm Is System.ComponentModel.IComponent)In JavaScript:function isNumber(n)In TypeScript:^[8] function (param: typeof existingObject) let newObject: typeof existingObject;

See also

• sizeof
• decltype
• Type introspection

Notes and References

1. Web site: TypeOf Operator (Visual Basic) . . dead . https://web.archive.org/web/20161128133108/https://msdn.microsoft.com/en-us/library/0ec5kw18(VS.80).aspx . Nov 28, 2016 .
2. Web site: typeof (C#) . MSDN . dead . https://web.archive.org/web/20160910105030/https://msdn.microsoft.com/en-us/library/58918ffs(VS.80).aspx . Sep 10, 2016 .
3. Web site: Declarations - D Programming Language 1.0 . Digital Mars . Dec 30, 2012 . live . https://web.archive.org/web/20231007004441/https://digitalmars.com/d/1.0/declaration.html#Typeof. Oct 7, 2023 .
4. "Typeof" in "Using the GNU Compiler Collection".
5. Web site: Meneide. JeanHeyd. 2021-03-07. Not-So-Magic - typeof(…) in C r2. 2021-12-02. Open Standards .
6. Web site: N2927: Not-so-magic - typeof for C . 2022-02-02 . Open Standards . live . https://web.archive.org/web/20231201192011/http://www9.open-std.org/JTC1/SC22/WG14/www/docs/n2927.htm . Dec 1, 2023 .
7. Web site: Consider renaming remove_quals . 2022-02-06 . Open Standards . live . https://web.archive.org/web/20240217091853/http://www9.open-std.org/JTC1/SC22/WG14/www/docs/n2930.pdf . Feb 17, 2024 .
8. Web site: Using 'typeof' to infer a type. 2022-01-28. Learn TypeScript. en.