mirror of
https://github.com/ton-blockchain/ton
synced 2025-03-09 15:40:10 +00:00
This commit introduces nullable types `T?` that are distinct from non-nullable `T`. Example: `int?` (int or null) and `int` are different now. Previously, `null` could be assigned to any primitive type. Now, it can be assigned only to `T?`. A non-null assertion operator `!` was also introduced, similar to `!` in TypeScript and `!!` in Kotlin. If `int?` still occupies 1 stack slot, `(int,int)?` and other nullable tensors occupy N+1 slots, the last for "null precedence". `v == null` actually compares that slot. Assigning `(int,int)` to `(int,int)?` implicitly creates a null presence slot. Assigning `null` to `(int,int)?` widens this null value to 3 slots. This is called "type transitioning". All stdlib functions prototypes have been updated to reflect whether they return/accept a nullable or a strict value. This commit also contains refactoring from `const FunctionData*` to `FunctionPtr` and similar.
45 lines
1.3 KiB
C++
45 lines
1.3 KiB
C++
/*
|
|
This file is part of TON Blockchain Library.
|
|
|
|
TON Blockchain Library is free software: you can redistribute it and/or modify
|
|
it under the terms of the GNU Lesser General Public License as published by
|
|
the Free Software Foundation, either version 2 of the License, or
|
|
(at your option) any later version.
|
|
|
|
TON Blockchain Library is distributed in the hope that it will be useful,
|
|
but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
GNU Lesser General Public License for more details.
|
|
|
|
You should have received a copy of the GNU Lesser General Public License
|
|
along with TON Blockchain Library. If not, see <http://www.gnu.org/licenses/>.
|
|
*/
|
|
#pragma once
|
|
|
|
namespace tolk {
|
|
|
|
struct ASTNodeBase;
|
|
struct ASTNodeExpressionBase;
|
|
struct ASTNodeStatementBase;
|
|
|
|
using AnyV = const ASTNodeBase*;
|
|
using AnyExprV = const ASTNodeExpressionBase*;
|
|
using AnyStatementV = const ASTNodeStatementBase*;
|
|
|
|
struct Symbol;
|
|
struct LocalVarData;
|
|
struct FunctionData;
|
|
struct GlobalVarData;
|
|
struct GlobalConstData;
|
|
|
|
using LocalVarPtr = const LocalVarData*;
|
|
using FunctionPtr = const FunctionData*;
|
|
using GlobalVarPtr = const GlobalVarData*;
|
|
using GlobalConstPtr = const GlobalConstData*;
|
|
|
|
class TypeData;
|
|
using TypePtr = const TypeData*;
|
|
|
|
struct SrcFile;
|
|
|
|
} // namespace tolk
|