Первоначальный вопрос был о неоднозначности между двумя специализациями шаблонов, когда второй аргумент не участвовал в разрешении неоднозначности. Чтобы достичь этого, второй аргумент должен иметь тип std :: size_t. Ваш образец не отвечает на вопрос и не доказывает, что «объявления шаблона не являются неоднозначными», потому что первый или второй аргумент становится более специализированным. Если вы попытаетесь вызвать ваш шаблон как «func (buf, static_cast <std :: size_t> (2))», вы получите оригинальную проблему.

у следующие два объявления шаблона неоднозначны (поэтому ни один не является более специализированным, чем другой)? Я знаю, что этот вопрос много раз поднимался на Stack Overflow, но обычно люди отвечают, как решить двусмысленность, а не почему ...

Частичное упорядочение с использованием шаблона функции с неконтролируемым контекстом

Читая другой вопрос, я столкнулся с проблемой частичного упорядочения, которую я сократил до следующего контрольного примера.

Какова процедура частичного заказа при выводе шаблона

Читая стандарт C ++ 11, я могуЯ полностью понимаю смысл следующего утверждения. Пример очень приветствуется.Два набора типов используются для определения час...

PartialOrdering, StrictWeakOrdering, TotalOrdering, в чем главное отличие приложения

[Официальный документ SGI]Из-за нерефлексивности и транзитивности оператор &lt; всегда удовлетворяет определению частичного упорядочения. Определение строгог...

Вы можете неоднократно вызывать make_heap, pop_heap в C ++ с имеющейся последовательностью.

тно, лучше всего проиллюстрировать небольшой пример. Учитывая отношения A < B < C A < P < QПравильные выводы будут ABCPQ or APQBC or APBCQ ... etc.Другими словами, любой порядок действителен, в котором сохраняются данные отношения. Меня больше ...

частичное упорядочение специализаций с не выводимым контекстом

Согласно [temp.class.order] §14.5.5.2, выбор частичной специализации

Почему я не могу использовать метод __cmp__ в Python 3, как для Python 2?

Следующий кусок кода class point: def __init__(self, x, y): self.x = x self.y = y def dispc(self): return ('(' + str(self.x) + ',' + str(self.y) + ')') def __cmp__(self, other): return ((self.x > other.x) and (self.y > other.y))отлично работает ...

Почему Rust не реализует общий порядок через черту Ord для f64 и f32?

Какова процедура частичного заказа при выводе шаблона

Читая стандарт C ++ 11, я не могу полностью понять смысл следующего утверждения. Пример очень приветствуется. Два набора типов используются для определения частичного упорядочения. Для каждого из задействованных шаблонов существует исходный тип ...

PartialOrdering, StrictWeakOrdering, TotalOrdering, в чем основное отличие в приложении

[Официальный документ SGI] [http://www.sgi.com/tech/stl/LessThanComparable.html] Из-за нерефлексивности и транзитивности оператор <всегда удовлетворяет определению частичного упорядочения. Определение строгого слабого порядка является более ...