C++N4606(188)14.5.6.2 Partial ordering of function templates [temp.func.order]p374
はじめに
N4606 Working Draft, Standard for Programming Language C++
http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2016/#mailing2016-11
http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2016/n4606.pdf
n4606は、ISO/IEC JTC1 SC22 WG21の作業原案(Working Draft)です。
公式のISO/IEC 14882原本ではありません。
ISO/IEC JTC1 SC22 WG21では、可能な限り作業文書を公開し、幅広い意見を求めています。
一連の記事はコード断片をコンパイルできる形にする方法を検討してコンパイル、リンク、実行して、規格案の原文と処理系(g++, Clang++)との違いを確認し、技術内容を検討し、ISO/IEC JTC1 SC22 WG21にフィードバックするために用います。
また、CERT C++, MISRA C++等のコーディング標準のコード断片をコンパイルする際の参考にさせていただこうと考えています。CERT C++, MISRA C++が標準化の動きとの時間的なずれがあれば確認できれば幸いです。また、boostライブラリとの関連、Linux OS, TOPPERSカーネル、g++(GCC), clang++(LLVM）との関係も調査中です。
何か、抜け漏れ、耳より情報がありましたらおしらせくださると幸いです。
作業方針
１）コンパイルエラーを収集する。
２）コンパイルエラーをなくす方法を検討する。
コンパイルエラーになる例を示すだけが目的のコードは、コンパイルエラーをなくすのではなく、コンパイルエラーの種類を収集するだけにする。
文法を示すのが目的のコード場合に、コンパイルエラーをなくすのに手間がかかる場合は、順次作業します。
３）リンクエラーをなくす方法を検討する。
文法を示すのが目的のコード場合に、リンクエラーをなくすのに手間がかかる場合は、順次作業します。
４）意味のある出力を作る。
コンパイル、リンクが通っても、意味のある出力を示そうとすると、コンパイル・リンクエラーが出て収拾できそうにない場合がある。順次作業します。
１）だけのものから４）まで進んだものと色々ある状態です。一歩でも前に進むご助言をお待ちしています。「検討事項」の欄に現状を記録するようにしています。
list
N4606 Working Draft 2016, ISO/IEC 14882, C++ standard(1) coding list
https://qiita.com/kaizen_nagoya/items/df5d62c35bd6ed1c3d43/
Compiler
clang++ --version
clang version 6.0.0 (tags/RELEASE_600/final)
Target: x86_64-apple-darwin17.4.0
g++-7 --version
g++-7 (Homebrew GCC 7.3.0_1) 7.3.0
Copyright (C) 2017 Free Software Foundation, Inc.
(188)14.5.6.2 Partial ordering of function templates [temp.func.order]p374
p374.cpp
// N4606 Committee Draft, Standard for Programming Language C++
// http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2016/n4606.pdf
#define msg "(188)14.5.6.2 Partial ordering of function templates [temp.func.order]p374.cpp"
// Edited by Dr. Ogawa Kiyoshi. Compile procedure and results record.
#include <iostream>
struct A { };
template<class T> struct B {
template<class R> int operator*(R&); // #1
};
template<class T, class R> int operator*(T&, R&); // #2
// The declaration of B::operator* is transformed into the equivalent of
// template<class R> int operator*(B<A>&, R&); // #1a
template<class T> struct A2 { A2(); };
template<class T> void f(T);
template<class T> void f(T*);
template<class T> void f(const T*);
template<class T> void g(T);
template<class T> void g(T&);
template<class T> void h(const T&);
template<class T> void h(A2<T>&);
void m() {
const int* p;
f(p); // f(const T*) is more specialized than f(T) or f(T*)
float x;
g(x); // Ambiguous: g(T) or g(T&)
A<int> z;
h(z); // overload resolution selects h(A<T>&)
const A<int> z2;
h(z2); // h(const T&) is called because h(A<T>&) is not callable
}
template<class T> void f(T); // #1
template<class T> void f(T*, int=1); // #2
template<class T> void g(T); // #3
template<class T> void g(T*, ...); // #4
int main() {
A a;
B<A> b;
b * a; // calls #1a
int* ip;
f(ip); // calls #2
g(ip); // calls #4
std::cout<< msg << std::endl;
return EXIT_SUCCESS;
}
template<class T, class U> struct A { };
template<class T, class U> void f(U, A<U, T>* p = 0); // #1
template< class U> void f(U, A<U, U>* p = 0); // #2
template<class T > void g(T, T = T()); // #3
template<class T, class... U> void g(T, U ...); // #4
void h() {
f<int>(42, (A<int, int>*)0); // calls #2
f<int>(42); // error: ambiguous
g(42); // error: ambiguous
}
template<class T, class... U> void f(T, U...); // #1
template<class T > void f(T); // #2
template<class T, class... U> void g(T*, U...); // #3
template<class T > void g(T); // #4
void h(int i) {
f(&i); // error: ambiguous
g(&i); // OK: calls #3
}
$ ./cppgl17.sh p374
$ clang++ p374.cpp
p374.cpp:16:26: error: redefinition of 'A' as different kind of symbol
template<class T> struct A { A(); };
^
p374.cpp:8:8: note: previous definition is here
struct A { };
^
p374.cpp:23:27: error: expected ')'
template<class T> void h(A<T>&);
^
p374.cpp:23:25: note: to match this '('
template<class T> void h(A<T>&);
^
p374.cpp:28:1: error: call to 'g' is ambiguous
g(x); // Ambiguous: g(T) or g(T&)
^
p374.cpp:20:24: note: candidate function [with T = float]
template<class T> void g(T);
^
p374.cpp:21:24: note: candidate function [with T = float]
template<class T> void g(T&);
^
p374.cpp:29:2: error: expected unqualified-id
A<int> z;
^
p374.cpp:30:3: error: use of undeclared identifier 'z'
h(z); // overload resolution selects h(A<T>&)
^
p374.cpp:31:8: error: expected unqualified-id
const A<int> z2;
^
p374.cpp:32:3: error: use of undeclared identifier 'z2'
h(z2); // h(const T&) is called because h(A<T>&) is not callable
^
p374.cpp:45:1: error: call to 'f' is ambiguous
f(ip); // calls #2
^
p374.cpp:18:24: note: candidate function [with T = int]
template<class T> void f(T*);
^
p374.cpp:36:24: note: candidate function [with T = int]
template<class T> void f(T*, int=1); // #2
^
p374.cpp:35:24: note: candidate function [with T = int *]
template<class T> void f(T); // #1
^
p374.cpp:19:24: note: candidate function [with T = int]
template<class T> void f(const T*);
^
p374.cpp:51:35: error: redefinition of 'A' as different kind of symbol
template<class T, class U> struct A { };
^
p374.cpp:8:8: note: previous definition is here
struct A { };
^
p374.cpp:52:39: error: expected ')'
template<class T, class U> void f(U, A<U, T>* p = 0); // #1
^
p374.cpp:52:34: note: to match this '('
template<class T, class U> void f(U, A<U, T>* p = 0); // #1
^
p374.cpp:53:31: error: expected ')'
template< class U> void f(U, A<U, U>* p = 0); // #2
^
p374.cpp:53:26: note: to match this '('
template< class U> void f(U, A<U, U>* p = 0); // #2
^
p374.cpp:57:14: error: expected ')'
f<int>(42, (A<int, int>*)0); // calls #2
^
p374.cpp:57:12: note: to match this '('
f<int>(42, (A<int, int>*)0); // calls #2
^
p374.cpp:57:12: error: no matching conversion for C-style cast from 'int' to 'A'
f<int>(42, (A<int, int>*)0); // calls #2
^~~~~~~~~~~~~~~
p374.cpp:8:8: note: candidate constructor (the implicit copy constructor) not viable: no known conversion from 'int' to 'const A' for 1st
argument
struct A { };
^
p374.cpp:8:8: note: candidate constructor (the implicit move constructor) not viable: no known conversion from 'int' to 'A' for 1st argument
struct A { };
^
p374.cpp:8:8: note: candidate constructor (the implicit default constructor) not viable: requires 0 arguments, but 1 was provided
p374.cpp:59:1: error: call to 'g' is ambiguous
g(42); // error: ambiguous
^
p374.cpp:37:24: note: candidate function [with T = int]
template<class T> void g(T); // #3
^
p374.cpp:54:25: note: candidate function [with T = int]
template<class T > void g(T, T = T()); // #3
^
p374.cpp:55:36: note: candidate function [with T = int, U = <>]
template<class T, class... U> void g(T, U ...); // #4
^
p374.cpp:67:1: error: call to 'f' is ambiguous
f(&i); // error: ambiguous
^
p374.cpp:18:24: note: candidate function [with T = int]
template<class T> void f(T*);
^
p374.cpp:36:24: note: candidate function [with T = int]
template<class T> void f(T*, int=1); // #2
^
p374.cpp:35:24: note: candidate function [with T = int *]
template<class T> void f(T); // #1
^
p374.cpp:62:36: note: candidate function [with T = int *, U = <>]
template<class T, class... U> void f(T, U...); // #1
^
p374.cpp:19:24: note: candidate function [with T = int]
template<class T> void f(const T*);
^
15 errors generated.
$ g++-7 p374.cpp
p374.cpp:16:26: error: 'A' is not a template
template<class T> struct A { A(); };
^
p374.cpp:8:8: note: previous declaration here
struct A { };
^
p374.cpp:23:26: error: 'A' is not a template
template<class T> void h(A<T>&);
^
p374.cpp: In function 'void m()':
p374.cpp:28:4: error: call of overloaded 'g(float&)' is ambiguous
g(x); // Ambiguous: g(T) or g(T&)
^
p374.cpp:20:24: note: candidate: void g(T) [with T = float]
template<class T> void g(T);
^
p374.cpp:21:24: note: candidate: void g(T&) [with T = float]
template<class T> void g(T&);
^
p374.cpp:29:1: error: 'A' is not a template
A<int> z;
^
p374.cpp:31:7: error: 'A' is not a template
const A<int> z2;
^
p374.cpp: In function 'int main()':
p374.cpp:42:3: error: ambiguous overload for 'operator*' (operand types are 'B<A>' and 'A')
b * a; // calls #1a
~~^~~
p374.cpp:10:23: note: candidate: int B<T>::operator*(R&) [with R = A; T = A]
template<class R> int operator*(R&); // #1
^~~~~~~~
p374.cpp:12:32: note: candidate: int operator*(T&, R&) [with T = B<A>; R = A]
template<class T, class R> int operator*(T&, R&); // #2
^~~~~~~~
p374.cpp:45:5: error: call of overloaded 'f(int*&)' is ambiguous
f(ip); // calls #2
^
p374.cpp:17:24: note: candidate: void f(T) [with T = int*]
template<class T> void f(T);
^
p374.cpp:18:24: note: candidate: void f(T*) [with T = int]
template<class T> void f(T*);
^
p374.cpp:19:24: note: candidate: void f(const T*) [with T = int]
template<class T> void f(const T*);
^
p374.cpp:36:24: note: candidate: void f(T*, int) [with T = int]
template<class T> void f(T*, int=1); // #2
^
p374.cpp: At global scope:
p374.cpp:51:35: error: 'A' is not a template
template<class T, class U> struct A { };
^
p374.cpp:8:8: note: previous declaration here
struct A { };
^
p374.cpp:52:38: error: 'A' is not a template
template<class T, class U> void f(U, A<U, T>* p = 0); // #1
^
p374.cpp:53:30: error: 'A' is not a template
template< class U> void f(U, A<U, U>* p = 0); // #2
^
p374.cpp: In function 'void h()':
p374.cpp:57:13: error: 'A' is not a template
f<int>(42, (A<int, int>*)0); // calls #2
^
p374.cpp:57:27: error: call of overloaded 'f<int>(int, A*)' is ambiguous
f<int>(42, (A<int, int>*)0); // calls #2
^
p374.cpp:52:33: note: candidate: void f(U, A*) [with T = int; U = int]
template<class T, class U> void f(U, A<U, T>* p = 0); // #1
^
p374.cpp:53:25: note: candidate: void f(U, A*) [with U = int]
template< class U> void f(U, A<U, U>* p = 0); // #2
^
p374.cpp:58:10: error: call of overloaded 'f<int>(int)' is ambiguous
f<int>(42); // error: ambiguous
^
p374.cpp:17:24: note: candidate: void f(T) [with T = int]
template<class T> void f(T);
^
p374.cpp:52:33: note: candidate: void f(U, A*) [with T = int; U = int]
template<class T, class U> void f(U, A<U, T>* p = 0); // #1
^
p374.cpp:53:25: note: candidate: void f(U, A*) [with U = int]
template< class U> void f(U, A<U, U>* p = 0); // #2
^
p374.cpp:59:5: error: call of overloaded 'g(int)' is ambiguous
g(42); // error: ambiguous
^
p374.cpp:20:24: note: candidate: void g(T) [with T = int]
template<class T> void g(T);
^
p374.cpp:54:25: note: candidate: void g(T, T) [with T = int]
template<class T > void g(T, T = T()); // #3
^
p374.cpp:55:36: note: candidate: void g(T, U ...) [with T = int; U = {}]
template<class T, class... U> void g(T, U ...); // #4
^
p374.cpp: In function 'void h(int)':
p374.cpp:67:5: error: call of overloaded 'f(int*)' is ambiguous
f(&i); // error: ambiguous
^
p374.cpp:17:24: note: candidate: void f(T) [with T = int*]
template<class T> void f(T);
^
p374.cpp:18:24: note: candidate: void f(T*) [with T = int]
template<class T> void f(T*);
^
p374.cpp:19:24: note: candidate: void f(const T*) [with T = int]
template<class T> void f(const T*);
^
p374.cpp:36:24: note: candidate: void f(T*, int) [with T = int]
template<class T> void f(T*, int=1); // #2
^
p374.cpp:53:25: note: candidate: void f(U, A*) [with U = int*]
template< class U> void f(U, A<U, U>* p = 0); // #2
^
p374.cpp:62:36: note: candidate: void f(T, U ...) [with T = int*; U = {}]
template<class T, class... U> void f(T, U...); // #1
^
p374.cpp:68:5: error: call of overloaded 'g(int*)' is ambiguous
g(&i); // OK: calls #3
^
p374.cpp:20:24: note: candidate: void g(T) [with T = int*]
template<class T> void g(T);
^
p374.cpp:38:24: note: candidate: void g(T*, ...) [with T = int]
template<class T> void g(T*, ...); // #4
^
p374.cpp:54:25: note: candidate: void g(T, T) [with T = int*]
template<class T > void g(T, T = T()); // #3
^
p374.cpp:55:36: note: candidate: void g(T, U ...) [with T = int*; U = {}]
template<class T, class... U> void g(T, U ...); // #4
^
p374.cpp:64:36: note: candidate: void g(T*, U ...) [with T = int; U = {}]
template<class T, class... U> void g(T*, U...); // #3
^
// N4606 Committee Draft, Standard for Programming Language C++
// http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2016/n4606.pdf
#define msg "(188)14.5.6.2 Partial ordering of function templates [temp.func.order]p374.cpp"
// Edited by Dr. Ogawa Kiyoshi. Compile procedure and results record.
#include <iostream>
struct A { };
template<class T> struct B {
template<class R> int operator*(R&); // #1
};
template<class T, class R> int operator*(T&, R&); // #2
// The declaration of B::operator* is transformed into the equivalent of
// template<class R> int operator*(B<A>&, R&); // #1a
template<class T> struct A2 { A2(); };
template<class T> void f(T);
template<class T> void f(T*);
template<class T> void f(const T*);
template<class T> void g(T);
template<class T> void g(T&);
template<class T> void h(const T&);
template<class T> void h(A2<T>&);
void m() {
const int* p;
f(p); // f(const T*) is more specialized than f(T) or f(T*)
float x;
g(x); // Ambiguous: g(T) or g(T&)
A<int> z;
h(z); // overload resolution selects h(A<T>&)
const A<int> z2;
h(z2); // h(const T&) is called because h(A<T>&) is not callable
}
template<class T> void f(T); // #1
template<class T> void f(T*, int=1); // #2
template<class T> void g(T); // #3
template<class T> void g(T*, ...); // #4
int main() {
A a;
B<A> b;
b * a; // calls #1a
int* ip;
f(ip); // calls #2
g(ip); // calls #4
std::cout<< msg << std::endl;
return EXIT_SUCCESS;
}
template<class T, class U> struct A { };
template<class T, class U> void f(U, A<U, T>* p = 0); // #1
template< class U> void f(U, A<U, U>* p = 0); // #2
template<class T > void g(T, T = T()); // #3
template<class T, class... U> void g(T, U ...); // #4
void h() {
f<int>(42, (A<int, int>*)0); // calls #2
f<int>(42); // error: ambiguous
g(42); // error: ambiguous
}
template<class T, class... U> void f(T, U...); // #1
template<class T > void f(T); // #2
template<class T, class... U> void g(T*, U...); // #3
template<class T > void g(T); // #4
void h(int i) {
f(&i); // error: ambiguous
g(&i); // OK: calls #3
}
$ ./cppgl17.sh p374
$ clang++ p374.cpp
p374.cpp:16:26: error: redefinition of 'A' as different kind of symbol
template<class T> struct A { A(); };
^
p374.cpp:8:8: note: previous definition is here
struct A { };
^
p374.cpp:23:27: error: expected ')'
template<class T> void h(A<T>&);
^
p374.cpp:23:25: note: to match this '('
template<class T> void h(A<T>&);
^
p374.cpp:28:1: error: call to 'g' is ambiguous
g(x); // Ambiguous: g(T) or g(T&)
^
p374.cpp:20:24: note: candidate function [with T = float]
template<class T> void g(T);
^
p374.cpp:21:24: note: candidate function [with T = float]
template<class T> void g(T&);
^
p374.cpp:29:2: error: expected unqualified-id
A<int> z;
^
p374.cpp:30:3: error: use of undeclared identifier 'z'
h(z); // overload resolution selects h(A<T>&)
^
p374.cpp:31:8: error: expected unqualified-id
const A<int> z2;
^
p374.cpp:32:3: error: use of undeclared identifier 'z2'
h(z2); // h(const T&) is called because h(A<T>&) is not callable
^
p374.cpp:45:1: error: call to 'f' is ambiguous
f(ip); // calls #2
^
p374.cpp:18:24: note: candidate function [with T = int]
template<class T> void f(T*);
^
p374.cpp:36:24: note: candidate function [with T = int]
template<class T> void f(T*, int=1); // #2
^
p374.cpp:35:24: note: candidate function [with T = int *]
template<class T> void f(T); // #1
^
p374.cpp:19:24: note: candidate function [with T = int]
template<class T> void f(const T*);
^
p374.cpp:51:35: error: redefinition of 'A' as different kind of symbol
template<class T, class U> struct A { };
^
p374.cpp:8:8: note: previous definition is here
struct A { };
^
p374.cpp:52:39: error: expected ')'
template<class T, class U> void f(U, A<U, T>* p = 0); // #1
^
p374.cpp:52:34: note: to match this '('
template<class T, class U> void f(U, A<U, T>* p = 0); // #1
^
p374.cpp:53:31: error: expected ')'
template< class U> void f(U, A<U, U>* p = 0); // #2
^
p374.cpp:53:26: note: to match this '('
template< class U> void f(U, A<U, U>* p = 0); // #2
^
p374.cpp:57:14: error: expected ')'
f<int>(42, (A<int, int>*)0); // calls #2
^
p374.cpp:57:12: note: to match this '('
f<int>(42, (A<int, int>*)0); // calls #2
^
p374.cpp:57:12: error: no matching conversion for C-style cast from 'int' to 'A'
f<int>(42, (A<int, int>*)0); // calls #2
^~~~~~~~~~~~~~~
p374.cpp:8:8: note: candidate constructor (the implicit copy constructor) not viable: no known conversion from 'int' to 'const A' for 1st
argument
struct A { };
^
p374.cpp:8:8: note: candidate constructor (the implicit move constructor) not viable: no known conversion from 'int' to 'A' for 1st argument
struct A { };
^
p374.cpp:8:8: note: candidate constructor (the implicit default constructor) not viable: requires 0 arguments, but 1 was provided
p374.cpp:59:1: error: call to 'g' is ambiguous
g(42); // error: ambiguous
^
p374.cpp:37:24: note: candidate function [with T = int]
template<class T> void g(T); // #3
^
p374.cpp:54:25: note: candidate function [with T = int]
template<class T > void g(T, T = T()); // #3
^
p374.cpp:55:36: note: candidate function [with T = int, U = <>]
template<class T, class... U> void g(T, U ...); // #4
^
p374.cpp:67:1: error: call to 'f' is ambiguous
f(&i); // error: ambiguous
^
p374.cpp:18:24: note: candidate function [with T = int]
template<class T> void f(T*);
^
p374.cpp:36:24: note: candidate function [with T = int]
template<class T> void f(T*, int=1); // #2
^
p374.cpp:35:24: note: candidate function [with T = int *]
template<class T> void f(T); // #1
^
p374.cpp:62:36: note: candidate function [with T = int *, U = <>]
template<class T, class... U> void f(T, U...); // #1
^
p374.cpp:19:24: note: candidate function [with T = int]
template<class T> void f(const T*);
^
15 errors generated.
$ g++-7 p374.cpp
p374.cpp:16:26: error: 'A' is not a template
template<class T> struct A { A(); };
^
p374.cpp:8:8: note: previous declaration here
struct A { };
^
p374.cpp:23:26: error: 'A' is not a template
template<class T> void h(A<T>&);
^
p374.cpp: In function 'void m()':
p374.cpp:28:4: error: call of overloaded 'g(float&)' is ambiguous
g(x); // Ambiguous: g(T) or g(T&)
^
p374.cpp:20:24: note: candidate: void g(T) [with T = float]
template<class T> void g(T);
^
p374.cpp:21:24: note: candidate: void g(T&) [with T = float]
template<class T> void g(T&);
^
p374.cpp:29:1: error: 'A' is not a template
A<int> z;
^
p374.cpp:31:7: error: 'A' is not a template
const A<int> z2;
^
p374.cpp: In function 'int main()':
p374.cpp:42:3: error: ambiguous overload for 'operator*' (operand types are 'B<A>' and 'A')
b * a; // calls #1a
~~^~~
p374.cpp:10:23: note: candidate: int B<T>::operator*(R&) [with R = A; T = A]
template<class R> int operator*(R&); // #1
^~~~~~~~
p374.cpp:12:32: note: candidate: int operator*(T&, R&) [with T = B<A>; R = A]
template<class T, class R> int operator*(T&, R&); // #2
^~~~~~~~
p374.cpp:45:5: error: call of overloaded 'f(int*&)' is ambiguous
f(ip); // calls #2
^
p374.cpp:17:24: note: candidate: void f(T) [with T = int*]
template<class T> void f(T);
^
p374.cpp:18:24: note: candidate: void f(T*) [with T = int]
template<class T> void f(T*);
^
p374.cpp:19:24: note: candidate: void f(const T*) [with T = int]
template<class T> void f(const T*);
^
p374.cpp:36:24: note: candidate: void f(T*, int) [with T = int]
template<class T> void f(T*, int=1); // #2
^
p374.cpp: At global scope:
p374.cpp:51:35: error: 'A' is not a template
template<class T, class U> struct A { };
^
p374.cpp:8:8: note: previous declaration here
struct A { };
^
p374.cpp:52:38: error: 'A' is not a template
template<class T, class U> void f(U, A<U, T>* p = 0); // #1
^
p374.cpp:53:30: error: 'A' is not a template
template< class U> void f(U, A<U, U>* p = 0); // #2
^
p374.cpp: In function 'void h()':
p374.cpp:57:13: error: 'A' is not a template
f<int>(42, (A<int, int>*)0); // calls #2
^
p374.cpp:57:27: error: call of overloaded 'f<int>(int, A*)' is ambiguous
f<int>(42, (A<int, int>*)0); // calls #2
^
p374.cpp:52:33: note: candidate: void f(U, A*) [with T = int; U = int]
template<class T, class U> void f(U, A<U, T>* p = 0); // #1
^
p374.cpp:53:25: note: candidate: void f(U, A*) [with U = int]
template< class U> void f(U, A<U, U>* p = 0); // #2
^
p374.cpp:58:10: error: call of overloaded 'f<int>(int)' is ambiguous
f<int>(42); // error: ambiguous
^
p374.cpp:17:24: note: candidate: void f(T) [with T = int]
template<class T> void f(T);
^
p374.cpp:52:33: note: candidate: void f(U, A*) [with T = int; U = int]
template<class T, class U> void f(U, A<U, T>* p = 0); // #1
^
p374.cpp:53:25: note: candidate: void f(U, A*) [with U = int]
template< class U> void f(U, A<U, U>* p = 0); // #2
^
p374.cpp:59:5: error: call of overloaded 'g(int)' is ambiguous
g(42); // error: ambiguous
^
p374.cpp:20:24: note: candidate: void g(T) [with T = int]
template<class T> void g(T);
^
p374.cpp:54:25: note: candidate: void g(T, T) [with T = int]
template<class T > void g(T, T = T()); // #3
^
p374.cpp:55:36: note: candidate: void g(T, U ...) [with T = int; U = {}]
template<class T, class... U> void g(T, U ...); // #4
^
p374.cpp: In function 'void h(int)':
p374.cpp:67:5: error: call of overloaded 'f(int*)' is ambiguous
f(&i); // error: ambiguous
^
p374.cpp:17:24: note: candidate: void f(T) [with T = int*]
template<class T> void f(T);
^
p374.cpp:18:24: note: candidate: void f(T*) [with T = int]
template<class T> void f(T*);
^
p374.cpp:19:24: note: candidate: void f(const T*) [with T = int]
template<class T> void f(const T*);
^
p374.cpp:36:24: note: candidate: void f(T*, int) [with T = int]
template<class T> void f(T*, int=1); // #2
^
p374.cpp:53:25: note: candidate: void f(U, A*) [with U = int*]
template< class U> void f(U, A<U, U>* p = 0); // #2
^
p374.cpp:62:36: note: candidate: void f(T, U ...) [with T = int*; U = {}]
template<class T, class... U> void f(T, U...); // #1
^
p374.cpp:68:5: error: call of overloaded 'g(int*)' is ambiguous
g(&i); // OK: calls #3
^
p374.cpp:20:24: note: candidate: void g(T) [with T = int*]
template<class T> void g(T);
^
p374.cpp:38:24: note: candidate: void g(T*, ...) [with T = int]
template<class T> void g(T*, ...); // #4
^
p374.cpp:54:25: note: candidate: void g(T, T) [with T = int*]
template<class T > void g(T, T = T()); // #3
^
p374.cpp:55:36: note: candidate: void g(T, U ...) [with T = int*; U = {}]
template<class T, class... U> void g(T, U ...); // #4
^
p374.cpp:64:36: note: candidate: void g(T*, U ...) [with T = int; U = {}]
template<class T, class... U> void g(T*, U...); // #3
^
タブを２つの空白に変換しているスクリプトは下記。
#!/bin/bash
astyle -s2 -c < $1.cpp > $1s2.cpp
cat $1s2.cpp
検討事項
コンパイルエラーをなくす修正方法
役に立つまたは意味のある出力
参考資料
N4606 Working Draft 2016, ISO/IEC 14882, C++ standardのコード断片をコンパイルするためにしていること
https://qiita.com/kaizen_nagoya/items/a8d7ee2f2e29e76c19c1
コンパイル用shell script C版(clangとgcc)とC++版(clang++とg++)
https://qiita.com/kaizen_nagoya/items/74220c0577a512c2d7da
Clang/Clang++(LLVM) gcc/g++(GNU) コンパイラ警告等比較
https://qiita.com/kaizen_nagoya/items/9a82b958cc3aeef0403f
Qiitaに投稿するCのStyle例(暫定)
https://qiita.com/kaizen_nagoya/items/946df1528a6a1ef2bc0d
MISRA C++ 5-0-16
https://qiita.com/kaizen_nagoya/items/7df2d4e05db724752a74
C++ Templates Part1 BASICS Chapter 3. Class Templates 3.2 Use of Class Template Stack stack1test.cpp
https://qiita.com/kaizen_nagoya/items/cd5fc49106fad5a4e9ed
ISO/IEC TS 17961:2013 C Secure Coding Rules(1) All list(to be confirmed)
https://qiita.com/kaizen_nagoya/items/54e056195c4f11b850a1
C言語（C++)に対する誤解、曲解、無理解、爽快。
https://qiita.com/kaizen_nagoya/items/3f3992c9722c1cee2e3a
C Puzzle Bookの有り難み5つ、C言語規格及びCコンパイラの特性を認識
https://qiita.com/kaizen_nagoya/items/d89a48c1536a02ecdec9
'wchar.h' file not found で困った clang++ macOS
https://qiita.com/kaizen_nagoya/items/de15cd46d657517fac11
Open POSIX Test Suiteの使い方を調べはじめました
https://qiita.com/kaizen_nagoya/items/644d5e407f5faf96e6dc
MISRA-C 2012 Referenceに掲載している文献の入手可能性を確認
https://qiita.com/kaizen_nagoya/items/96dc8b125e462d5575bb
どうやって MISRA Example Suiteをコンパイルするか
https://qiita.com/kaizen_nagoya/items/fbdbff5ff696e2ca7f00
MISRA C まとめ #include
https://qiita.com/kaizen_nagoya/items/f1a79a7cbd281607c7c9
「C++完全理解ガイド」の同意できること上位10
https://qiita.com/kaizen_nagoya/items/aa5744e0c4a8618c7671
文書履歴
0.10 初稿 2080420
Author And Source
この問題について(C++N4606(188)14.5.6.2 Partial ordering of function templates [temp.func.order]p374), 我々は、より多くの情報をここで見つけました https://qiita.com/kaizen_nagoya/items/d26f94875d990febd7d5著者帰属：元の著者の情報は、元のURLに含まれています。著作権は原作者に属する。
Content is automatically searched and collected through network algorithms . If there is a violation . Please contact us . We will adjust (correct author information ,or delete content ) as soon as possible .