From bc925f8738b0a0eecfca1520d9ebc1281a92950a Mon Sep 17 00:00:00 2001 From: Hao Cheng Date: Wed, 24 Jun 2020 17:05:54 +0800 Subject: [PATCH] Fix the solution to Exercise 16.49 During template argument deduction, top-level consts are ignored. (See page 679 in the book.) --- ch16/README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/ch16/README.md b/ch16/README.md index d42cd9cf..682b35b0 100644 --- a/ch16/README.md +++ b/ch16/README.md @@ -457,12 +457,12 @@ f(42); f(p); f(ci); f(p2); ```cpp g(42); // type: int(rvalue) call template 3 T: int instantiation: void g(int) g(p); // type: int * call template 4 T: int instantiation: void g(int *) -g(ci); // type: const int call template 3 T: const int instantiation: void g(const int) +g(ci); // type: const int call template 3 T: int instantiation: void g(int) g(p2); // type: const int * call template 4 T: const int instantiation: void g(const int *) f(42); // type: int(rvalue) call template 1 T: int instantiation: void f(int) f(p); // type: int * call template 1 T: int * instantiation: void f(int *) // f(int *) is an exact match for p(int *) while f(const int *) has a conversion from int * to const int *. -f(ci); // type: const int call template 1 T: const int instantiation: void f(const int) +f(ci); // type: const int call template 1 T: int instantiation: void f(int) f(p2); // type: const int * call template 2 T：int instantiation: void f(const int *) ```