From 830671c2210191f69ddc403cc12f5454bb55b0f0 Mon Sep 17 00:00:00 2001 From: Tim Foley Date: Fri, 21 Feb 2020 10:39:05 -0800 Subject: Add surface syntax for "this type" (#1236) Within the context of an aggregate type (or an `extension` of one), the programmer can use `this` to refer to the "current" instance of the surrounding type, but there is no easy way to utter the name of the type itself. This is especially relevant inside of an `interface`, where the type of `this` isn't actually the `interface` type, but rather a placeholder for the as-yet-unknown concrete type that will implement the interface. This change adds a keyword `This` that works similarly to `this`, but names the current *type* instead of the current instance. It can be used to declare things like binary methods or factory functions in an interface: ``` interface IBasicMathType { This absoluteValue(); This sumWith(This left); } T doSomeMath(T value) { return value.sumWith(value.absoluteValue()); } ``` The `This` type is consistent with the type named `Self` in Rust and Swift (where Rust/Swift use `self` instead of `this`). Other names could be considered (e.g., `ThisType`) if we find that users don't like the name in this change. --- source/slang/slang-mangle.cpp | 5 +++++ 1 file changed, 5 insertions(+) (limited to 'source/slang/slang-mangle.cpp') diff --git a/source/slang/slang-mangle.cpp b/source/slang/slang-mangle.cpp index fbeb5c9bf..5d9320f3d 100644 --- a/source/slang/slang-mangle.cpp +++ b/source/slang/slang-mangle.cpp @@ -151,6 +151,11 @@ namespace Slang } emitRaw(context, "U"); } + else if( auto thisType = dynamicCast(type) ) + { + emitRaw(context, "t"); + emitQualifiedName(context, thisType->interfaceDeclRef); + } else { SLANG_UNEXPECTED("unimplemented case in mangling"); -- cgit v1.2.3