implementatieafhankelijk

Implementatieafhankelijk, in de informatica vaak vertaald als implementation-defined of implementation-dependent, is een term die aangeeft dat een bepaald kenmerk of gedrag van een systeem wel aanwezig is volgens de standaard, maar dat de exacte waarde of wijze waarop het zich manifesteert door de implementatie wordt bepaald. De standardisatie vereist dat de implementatie deze keuze documenteert, zodat gebruikers weten wat ze kunnen verwachten op een specifiek platform of met een specifieke compiler.

Dit begrip staat tegenover volledig vaste waarden of gedrag. Een implementatieafhankelijk kenmerk maakt portabiliteit kwetsbaar: code die afhangt van de specifieke implementatie kan op andere systemen anders werken. Desondanks bestaan er vaak regels en hulpmiddelen binnen de standaard die de keuze van de implementatie vastleggen en documenteren, zodat programmers een geïnformeerde afweging kunnen maken.

Veelgebruikte voorbeelden komen uit programmeertalen en systeembibliotheken. In talen zoals C is de grootte en representatie van sommige types (bijvoorbeeld int) vaak implementatieafhankelijk, evenals de volgorde van bytes in geheugen (endianness). De standaard bepaalt wel grenzen en karakteristieken via hulpmiddelen zoals limits.h (bijv. INT_MAX, CHAR_BIT), maar de exacte waarden zijn implementatieafhankelijk. Ook kan de manier waarop bepaalde variabelen worden geïnitialiseerd of bepaalde optionele features worden ondersteund variëren.

Praktisch advies voor ontwikkelaars is om implementatieafhankelijke aannames te vermijden of expliciet te verifiëren via de documentatie en door gebruik te maken van gestandaardiseerde interfaces. Zo blijft de code zo draagbaar mogelijk, terwijl men toch gebruikmaakt van platform-specifieke mogelijkheden waar nodig.