模板函数参数的默认值

Question

注意：我没有 C++11

我需要一个模板函数参数的默认值，但似乎是 c++ 将跳过默认参数的扣除...

struct mode1 {};
struct mode2 {};

template <typename T>
void myFunc(int value, T mode = mode1())
{
    if(std::is_same<T, mode1>::value)
    {
        std::cout << "foo";
    }
    else if(std::is_same<T, mode2>::value)
    {
        std::cout << "bar";
    }
}

但是我怎样才能使这个调用有效：

myFunc(20); /* Defaults to mode1 */

我为什么要用这个？因为优化... 在我的现实生活场景中，我会将其用于这段代码：

template <typename TokenType>
        HGStringBasic Tokenize(const _ElemT* tokens, size_type uTokenIndex, size_type uIndex = 0, size_type uEndIndex = npos, TokenType tokenType = tokenTypeChar()) const
        {           
            size_type uPosInStr;
            size_type uCurrToken;

            if(uEndIndex == npos)
            {
                uEndIndex = this->Length();
            }

            for( uCurrToken = 0 ; uIndex < uEndIndex ; (uIndex = uPosInStr+1), (++uCurrToken) )
            {
                if(std::is_same<TokenType, tokenTypeChar>::value)
                    uPosInStr = this->PosBrk(tokens, uIndex);
                else if(std::is_same<TokenType, tokenTypeString>::value)
                    uPosInStr = this->Pos(tokens, uIndex);

                if(uCurrToken == uTokenIndex) 
                {                       
                    if(uPosInStr == npos)
                        return this_type(&m_data[uIndex], uEndIndex - uIndex);
                    return this_type(&m_data[uIndex], (uPosInStr < uEndIndex ? uPosInStr : uEndIndex) - uIndex);
                }
                if(uPosInStr == npos)
                    break;
            }
            return this_type();
        }

Answer 1

是的，template arugment deduction中不考虑默认值。

Type template parameter cannot be deduced from the type of a function default argument

您可以添加重载，例如

template <typename T>
void myFunc(int value, T mode)
{
    ...
}
void myFunc(int value) {
    myFunc(value, mode1());
}

模板函数参数的默认值

Default value for template function argument

c++

templates

c++03