StackOverflow2013

Note that there are some explanatory texts on larger screens.

plurals

PO
text
Body
copied!<p>As @jogojapan pointed out, the problem is that the compiler cannot order these two functions, i.e. there is not one that is more specialized than the other. As explained in §14.5.6.2, when a call to an overloaded function template is ambiguous, the compiler uses a partial ordering between the various overloads to select the most specialized one.</p> <p>To order the overloads, the compiler transforms each one of them and performs template argument deduction to see if one is more specialized than another one (there is a short explanation at the end of <a href="https://stackoverflow.com/a/13966381/20984">this answer</a>). In your case, the two overloads are equivalent (or not comparable): <code>template<int> void template_const(int &,int &)</code> is not more specialized than <code>template<bool> void template_const(int &, int &)</code>, and vice-versa.</p> <p>Therefore, the compiler cannot select one over the other, hence generating an <code>ambiguous call</code> error.</p> <hr> <p>If you are ok with explicitely specifying the type of the parameter you want to pass, you can use partial template specialization as follow:</p> <pre><code>template<typename T, T param> struct template_const_impl; template <int module> struct template_const_impl<int, module> { static void apply(int &a, int &b) { a = a & module; b = b % module; } }; template<bool x> struct template_const_impl<bool, x> { static void apply(int &a, int &b) { const int w = x ? 123 : 512; a = a & w; b = b % w; } }; template <typename T, T param> void template_const(int &a, int &b) { return template_const_impl<T, param>::apply(a, b); } int main() { int i = 512, j = 256; template_const<int, 123>(i, j); template_const<bool, true>(i, j); } </code></pre> <p>This is not ideal, but it don't think there is a cleaner solution unless you can use C++11 and are willing to rely on some macros, in which case you can simplify the calling code a bit (idea taken from @Nawaz in <a href="https://stackoverflow.com/a/9045644/20984">this answer</a>):</p> <pre><code>#define TEMPLATE_CONST(x) template_const<decltype(x), x> int main() { int i = 512, j = 256; TEMPLATE_CONST(123)(i, j); TEMPLATE_CONST(true)(i, j); } </code></pre>

Querying!

Guidance

An individual column

Larger individual text columns get their own page to allow for proper reading.

SQuiL has stopped working due to an internal error.

If you are curious you may find further information in the browser console, which is accessible through the devtools (F12).

Reload