为什么建议使用ctx作为第一个参数？

Question

I'm new to golang. As the documentation said

Do not store Contexts inside a struct type; instead, pass a Context explicitly to each function that needs it. The Context should be the first parameter, typically named ctx

but I found, in the typical http request handle function, a http.Request object has .Context() method can retrieve the context which http request assoicate with.

So why recommand use context as first parameter in theses function. Is that reasonable in this situation?

---

I know that is not a restrict rule. But I wan't to know why the HandlerFunc is func(ResponseWriter, *Request) instead of func(context.Context, ResponseWriter, *Request)

Apparently, HandlerFunc break the recommandation.

Answer 1

As described in the documentation you quoted above, ctx should be a (very) common argument for many functions. This is similar to the way many functions return an error. The best place for a common argument/return value is either as the first, or last in a list. (Arguably, Go could have chosen to make error always be the first return value--I won't discuss that here).

Since variadic variables may only be the last in the list of function arguments, this leaves the only option for a common argument to be the first one.

I expect this is why ctx is always first.

This pattern is often seen with other variables in Go (and other languages) as well. Any time a common variable is used by a set of related functions, that common variable often comes first in the argument list (or possibly second, after ctx).

---

Contrary to the advice you quoted, there are libraries that store ctx in a struct, rather than passing it around as the first argument. These are usually (always?) libraries which had to be retro-fitted to use ctx, long after the library contract was set in stone (by the Go 1.x compatibility guarantee).

Generally, you should follow the advice to pass ctx as the first argument, for any new work.