TypeScript Generics. Discussing naming conventions

栏目: IT技术 · 发布时间: 4年前

内容简介:We can find the concept of generic types across many languages such as Java, C#. Naturally, they found their way into TypeScript. In this article, we discuss their purpose and provide various examples. We also discuss naming conventions for generics that w

We can find the concept of generic types across many languages such as Java, C#. Naturally, they found their way into TypeScript. In this article, we discuss their purpose and provide various examples. We also discuss naming conventions for generics that we can stumble upon.

Introducing TypeScript Generics

One of the qualities that we strive for when developing software is the reusability of our components. The above also applies to TypeScript, as the types of our data are also subject to change. With Generics, we can write code that can adapt to a variety of types as opposed to enforcing them.

There is a high chance that you’ve already encountered generics. They are a common approach present, for example, in React.

import { ChangeEvent, useState, useCallback } from 'react';
 
function useInputManagement() {
  const [value, setValue] = useState('');
 
  const handleChange = useCallback((event: ChangeEvent<HTMLInputElement>) => {
    setValue(event.target.value);
  }, []);
 
  return {
    value,
    handleChange
  }
}

The above example uses a custom React hook. If you want to know more on how to design custom hooks, check out The Facade pattern and applying it to React Hooks

We can use generics to create highly reusable classes, types, interfaces, and functions.

The most basic example is the one with the identity function that we can find in the official documentation . Let’s inspect it closely:

function identity(argument: number): number {
    return argument;
}

The above function returns the argument that we pass to it. Unfortunately, it means that we need to create a function for every return type. That, unfortunately, does not meet the criteria of reusability.

To improve the above code, we can introduce a type variable . To declare a type variable, we need to append it to the name of our function by writing  function identity < T > .

Now, we are free to use it within our function:

function identity<T>(argument: T): T {
  return argument;
}

Above, we indicate that the type of the argument and the return type of the  identity function should be the same.

The most straightforward way to use the above function is to pass the desired type when calling it:

identity<string>('Hello world!');

TypeScript is a bit smarter , though. Instead of explicitly setting  T to a  string , we can let the compiler figure out the type on its own:

identity('Hello world!');

Arrow functions

We can also do the above with the use of arrow functions :

const identity = <T>(argument: T): T => argument;

The only issue is with the . tsx files. The above code results in the following error:

Parsing error: JSX element ‘T’ has no corresponding closing tag

The easiest way to fix this issue is to add a trailing comma:

const identity = <T,>(argument: T): T => argument;

A more real-life example

The promise-based Fetch API is powerful and flexible, but might not work as you might expect, coming from libraries like axios .

If you want to know more about the above API, check out Comparing working with JSON using the XHR and the Fetch API

One of the things that we can do is always reject promises when the request fails. On success, we might want to call the json ( ) function to extract the data.

function request<T>(
  url: string,
  options?: RequestInit
): Promise<T> {
  return fetch(
    url,
    options,
  )
    .then((response) => {
      if (!response.ok) {
        return Promise.reject();
      }
      return response.json();
    });
}

The json method might throw an error in some cases, for example when there is no body in the response. It would be a good idea to make the above example more bug-proof.

The RequestInit is a built-in interface used for the options of the  fetch function.

interface User {
  id: number;
  name: string;
  email: string;
}
request<User[]>('https://jsonplaceholder.typicode.com/users')
  .then((users) => {
    console.log(`There are ${users.length} users`);
  });

There are a few interesting things happening above. When we pass a type to the request function, we pass it further to have a return type of  Promise < T > . The  Promise is a built-in interface that is also generic.

By calling request < User [ ] > ( 'https://jsonplaceholder.typicode.com/users' ) we indicate that our promise resolves with an array of users.

Generic interfaces and classes

Aside from using built-in generic interfaces such as Promise , we can surely create our own.

interface KeyValuePair<K, V> {
  key: K;
  value: V;
}
const keyValuePair: KeyValuePair<string, string> = {
  key: 'name',
  value: 'John'
}
As you can see above, our generics can have more than just a single type variable.

We can create generic classes with the same level of success.

class KeyValuePair <K, V> {
  public key: K;
  public value: V;
  constructor(key: K, value: V) {
    this.key = key;
    this.value = value;
  }
}
const keyValuePair = new KeyValuePair('name', 'John');

Generic constraints

Making our types very flexible is not always the most suitable approach. Consider this simple example:

function getEmailDomain<T>(entity: T) {
  return entity.email.split('@').pop();
}
Property ’email’ does not exist on type ‘T’

Above, we want to extract the email property from the  entity . Unfortunately, we can’t be sure if it exists.

To deal with the above issue, we can put a constraint on the T type variable.

interface WithEmail {
  email: string;
}
function getEmailDomain<T extends WithEmail>(entity: T) {
  return entity.email.split('@').pop();
}

While the getName is still generic, it now has a constraint: the type that we pass to it needs to extend the  HasName interface.

request<User>('https://jsonplaceholder.typicode.com/users/1')
  .then((user) => {
    console.log(`The email domain that user has is ${getEmailDomain(user)}`);
  });

If you want to read more about interfaces such as the one above, check out the Interface segregation principle from Applying SOLID principles to your TypeScript code .

If we attempt to pass an argument that does not meet the above constraints, we encounter an error.

Naming convention

Generics are a popular solution that derives from languages like Java and C#. Since it originated from the above languages, it also inherits their naming conventions. Let’s look into the Java Tutorials from the Oracle :

By convention, type parameter names are single, uppercase letters. This stands in sharp contrast to the variable naming conventions that you already know about, and with good reason: Without this convention, it would be difficult to tell the difference between a type variable and an ordinary class or interface name.

The most commonly used type parameter names are:

  • E – Element (used extensively by the Java Collections Framework)
  • K – Key
  • N – Number
  • T – Type
  • V – Value
  • S,U,V etc. – 2nd, 3rd, 4th types

The above convention seems to be the most popular, also within the TypeScript community. Official documentation for C# and TypeScript also uses it. But are the above arguments still valid?

Modern IDEs do a good job of preventing you from mistaking a type variable for an ordinary variable. The more variables we introduce, the easier it is to mistake them due to one-character naming.

Other developers also stumbled upon the above issue. The Google Java Style Guide allows multi-character names, that end with a capital letter  T .

Each type variable is named in one of two styles:

  • A single capital letter, optionally followed by a single numeral (such as  ETXT2 )
  • A name in the form used for classes (see Section 5.2.2,  Class names ), followed by the capital letter  T  (examples:  RequestTFooBarT ).

I don’t like one-character variable names. If the most popular convention is wrong, maybe we should shy away from it.

There seems to be a bit of discussion going on about the naming of the type variables. For example, there are quite a few comments on this article by Tim Boudreau . I like the approach suggested by Erwin Mueller that merely appending the word  Type .

Map<KeyType, ValueType>

Summary

In this article, we’ve gone through the generics in TypeScript. This includes generic functions, classes, and interfaces. We’ve also examined some examples of how and when to use them. We’ve also touched on a very important subject: the naming convention.

I’m looking forward to hearing about your personal opinion on them. Feel free to let me know in the comments.


以上就是本文的全部内容,希望对大家的学习有所帮助,也希望大家多多支持 码农网

查看所有标签

猜你喜欢:

本站部分资源来源于网络,本站转载出于传递更多信息之目的,版权归原作者或者来源机构所有,如转载稿涉及版权问题,请联系我们

人类2.0

人类2.0

皮埃罗∙斯加鲁菲(Piero Scaruffi) / 闫景立、牛金霞 / 中信出版集团股份有限公司 / 2017-2-1 / CNY 68.00

《人类2.0:在硅谷探索科技未来》从在众多新技术中选择了他认为最有潜力塑造科技乃至人类未来的新技术进行详述,其中涉及大数据、物联网、人工智能、纳米科技、虚拟现实、生物技术、社交媒体、区块链、太空探索和3D打印。皮埃罗用一名硅谷工程师的严谨和一名历史文化学者的哲学视角,不仅在书中勾勒出这些新技术的未来演变方向和面貌,还对它们对社会和人性的影响进行了深入思考。 为了补充和佐证其观点,《人类2.0......一起来看看 《人类2.0》 这本书的介绍吧!

JS 压缩/解压工具
JS 压缩/解压工具

在线压缩/解压 JS 代码

图片转BASE64编码
图片转BASE64编码

在线图片转Base64编码工具

正则表达式在线测试
正则表达式在线测试

正则表达式在线测试