テンプレート一定の型変換演算子

Question

は、次のプログラムを考えてみましょう。 Linuxの場合：

test.cc: In function ‘int main()’: 
test.cc:17: error: passing ‘const Pack<8>’ as ‘this’ argument of ‘Pack<s>::operator X&() [with X = double, int s = 8]’ discards qualifiers 

なぜですか？ const型変換演算子を使用しないのはなぜですか？どのように私はこれを修正することができます便利なテンプレート型変換演算子（定数ではなくconstバージョン）。 ありがとう！

Answer 1

C++ 03標準によると、テンプレート引数の控除でX&またはX const&がconst doubleであると推測できないため、そのコードは不正です。

C++ 03は、控除前に変換関数の戻り値型から参照が取り除かれているとは言いませんでしたので、あなたの場合は決して一致しません。 C++ 0x、this will be fixedの場合は、最新の作業用紙に含まれているため、遡及的に修正を含む一部のコンパイラでコンパイルすることがあります。

あなたコードは、実際には異なる問題があります。Xに対してとX constに対して（！それは前控除にCV-修飾子を取り除き）GCC はその不具合報告の解像度を実装しない、及びそのためのはdoubleを比較します。 Xと一致するだけなので、その最初の変換関数がconst Pack<8>引数を持つ呼び出しで1つの候補になります。そのため、GCCは変換機能で不足しているconstについて苦情を言います。次のコードを試してみるとうまくいくでしょう。

// can't strip cv-qualifiers off "double const&" - there are no top-level 
// cv qualifiers present here! 
double const &d(p);