0

皆さん、こんにちは！

次のコードを持つ：

template<typename T, typename OutStream = std::ostream>
struct print
{
    OutStream &operator()(T const &toPrint, OutStream &outStream = std::cout) const
    {
        outStream << toPrint;
        return outStream;
    }
};

template<typename T, typename Index = unsigned int, typename CharType = char, typename OutStream = std::ostream>
struct print<T *, Index>
{
    print(CharType delimiter = ' '): delimiter_(delimiter) {}
    OutStream &operator()(T const *toPrint, Index startIndex, Index finishIndex, OutStream &outStream = std::cout) const
    {
        for (Index i(startIndex) ; i < finishIndex ; ++i)
            outStream << toPrint[i] << delimiter_;
        return outStream;
    }
protected:
    CharType delimiter_;
};

コンパイラ: MSVCPP10

コンパイラ出力:

1>main.cpp(31): error C2764: 'CharType' : template parameter not used or deducible in partial specialization 'print<T*,Index>'
1>main.cpp(31): error C2764: 'OutStream' : template parameter not used or deducible in partial specialization 'print<T*,Index>'
1>main.cpp(31): error C2756: 'print<T*,Index>' : default arguments not allowed on a partial specialization

私は立ち往生しています。部分的な専門化を完了するのを手伝ってください。

ありがとう！

4

1 に答える 1

1

これがあなたの言いたいことだと思います：（これは間違ったコードかもしれません。あなたが書いたものを翻訳しようとしているだけです）

template<typename T> struct print<T*, unsigned int> {
  typedef unsigned int Index;
  typedef std::ostream OutStream;
  typedef char CharType;
  print(CharType delimiter = ' '): delimiter_(delimiter) {}
  OutStream &operator()(T const *toPrint, Index startIndex, Index finishIndex, OutStream &outStream = std::cout) const {
    for (Index i(startIndex) ; i < finishIndex ; ++i)
      outStream << toPrint[i] << delimiter_;
    return outStream;
  }
protected:
  CharType delimiter_;
};

コンパイラは、何が問題なのかを説明します。

部分的な特殊化ではデフォルトの引数は許可されていません

のようなものtypename Index = unsigned intは、特殊化されていないテンプレートにのみ表示されます。

テンプレート パラメーターが使用されていないか、部分的な特殊化で推測できない

つまり、この部分のすべてのパラメーターを使用する必要があります。struct print<HERE>

于 2012-02-05T19:46:02.433 に答える