Können explizite Importe kompilierte Dateigröße reduzieren?

Question

Ich werde über Nützlichkeit fragen. Es geht um die Auswirkung auf die Größe der kompilierten ausführbaren Datei/Bibliothek. Nicht über die Wartbarkeit oder Lesbarkeit des Codes.

Importieren spezifische Modul

ist es nützlich, die nur verwendet Modul aus einem Paket zu importieren, anstatt das Hauptmodul des Importierens (die selbst die Submodule Importe).

Zum Beispiel mit dem Foreign Modul (die nur eine Importliste enthält):

import Foreign.Storable 

statt:

import Foreign 

Explizit Import Funktionen/Typen

Ist es sinnvoll, nur die verwendeten Funktionen/Typen importieren, anstatt das ganze Modul zu importieren?

Zum Beispiel:

import Foreign.ForeignPtr (ForeignPtr, mallocForeignPtr, withForeignPtr) 

statt:

import Foreign.ForeignPtr 

Answer 1

Wenn die Module als Objektdatei kompiliert werden, dann nein, nicht einmal in der Theorie. Funktionen, die nicht importiert werden können, können weiterhin intern verwendet werden, und Sie können das Modul unter GHCI laden und die nicht exportierten internen Funktionen testen.

Wenn Sie statisch verknüpfen oder bestimmte Instanzen einer generischen Funktion verwenden, sollte der Compiler theoretisch in der Lage sein, zu analysieren, welche Teile der Bibliothek von diesem spezifischen Programm nicht erreichbar sind, und als ganze Programmoptimierung sie aus der ausführbaren Datei. (Zum Beispiel, wenn die einzigen Listen, die Ihr Programm verwendet, Listen von Int sind, kompiliert der Compiler möglicherweise nur die teilweise spezialisierten [Int] Versionen von generischen Funktionen und nur die, die Sie verwenden.) Es sollte jedoch in der Lage sein, die gleiche statische zu tun Analyse als Ganzes - Programmoptimierung, egal wie Sie Ihre Importe und Exporte deklarieren.

Beim Kompilieren einer dynamischen Bibliothek könnte theoretisch ein Codepfad oder ein Teil der Daten ausgeschlossen werden, den die statische Analyse niemals direkt oder indirekt durch einen möglichen Aufruf über die exportierte Schnittstelle erreichen kann. Wenn dies der Fall ist, könnte ein Compiler die Exportliste verwenden, um zu beweisen, dass ein Bezeichner in der Bibliothek völlig unbrauchbar ist, und ihn aus der kompilierten Bibliothek herauslassen.

Wenn Sie fragen, was ein bestimmter Compiler, wie GHC 8, tut, weiß ich nicht. Du müsstest es testen und sehen.

Der Hauptvorteil der gezielten Auflistung Ihrer Exporte und Importe besteht darin, dass Sie Jahre später nie Probleme bekommen, wenn ein zweites Modul einen bereits verwendeten Bezeichner deklariert. Das ist mir schon einmal passiert, und jetzt bin ich viel vorsichtiger.