How does the const constructor actually work?

by

Const constructor creates a “canonicalized” instance.

That is, all constant expressions begin canonicalized, and later these “canonicalized” symbols are used to recognize equivalence of these constants.

Canonicalization:

A process for converting data that has more than one possible representation into a “standard” canonical representation. This can be done to compare different representations for equivalence, to count the number of distinct data structures, to improve the efficiency of various algorithms by eliminating repeated calculations, or to make it possible to impose a meaningful sorting order.

This means that const expressions like const Foo(1, 1) can represent any usable form that is useful for comparison in virtual machine.

The VM only needs to take into account the value type and arguments in the order in which they occur in this const expression. And, of course, they are reduced for optimization.

Constants with the same canonicalized values:

var foo1 = const Foo(1, 1); // #Foo#int#1#int#1
var foo2 = const Foo(1, 1); // #Foo#int#1#int#1

Constants with different canonicalized values (because signatures differ):

var foo3 = const Foo(1, 2); // $Foo$int$1$int$2
var foo4 = const Foo(1, 3); // $Foo$int$1$int$3

var baz1 = const Baz(const Foo(1, 1), "hello"); // $Baz$Foo$int$1$int$1$String$hello
var baz2 = const Baz(const Foo(1, 2), "hello"); // $Baz$Foo$int$1$int$2$String$hello

Constants are not recreated each time. They are canonicalized at compile time and stored in special lookup tables (where they are hashed by their canonical signatures) from which they are later reused.

P.S.

The form #Foo#int#1#int#1 used in these samples is only used for comparison purposes and it is not a real form of canonicalization (representation) in Dart VM;

But the real canonicalization form must be “standard” canonical representation.

More Related Contents:

  1. how to implement a main function in polymer apps
  2. How do I format a date with Dart?
  3. Passing data between screens in Flutter
  4. When should I use a FutureBuilder?
  5. Converting timestamp
  6. What are the ?? double question marks in Dart?
  7. Flutter setState to another class?
  8. Flutter get context in initState method
  9. List use of double dot (.) in dart?
  10. How do I determine the width and height of an image in Flutter?
  11. How to remove scroll glow?
  12. Flutter: disable screenshot capture for app
  13. Flutter – Read text file from assets
  14. dart advantage of a factory constructor identifier
  15. What is the difference between “show” and “as” in an import statement?
  16. How do I build different versions of my Flutter app for qa/dev/prod?
  17. How to Pick files and Images for upload with flutter web
  18. Creating function with variable number of arguments or parameters in Dart
  19. Flutter: Retrieving top-level state from child returns null
  20. Calling an async method from a constructor in Dart
  21. Instantiate a class from a string
  22. How can I read (from disk) and resize an image, in Flutter/Dart
  23. Implement an Observer pattern in Dart
  24. Flutter – How to set status bar color when AppBar not present
  25. Flutter: Is it somehow possible to create App Widgets (Android) and Today Extensions (iOS)? [duplicate]
  26. How can I simulate a tap event on a Flutter widget?
  27. How do you get the document id after adding document in Cloud Firestore in Dart
  28. Why only static fields can be declared as ‘const’?
  29. how to add or remove item to the the existing array in firestore ?
  30. How to call a named constructor from a generic function in Dart/Flutter

Leave a Comment