C++相談室 part138
レス数が1000を超えています。これ以上書き込みはできません。
次スレを立てる時は本文の1行目に以下を追加して下さい。
!extend:on:vvvvv:1000:512
C++に関する質問やら話題やらはこちらへどうぞ。
ただし質問の前にはFAQに一通り目を通してください。
IDE (VC++など)などの使い方の質問はその開発環境のスレにお願いします。
前スレ
C++相談室 part137
http://mevius.5ch.net/test/read.cgi/tech/1531558382/
このスレもよろしくね。
【初心者歓迎】C/C++室 Ver.103【環境依存OK】
http://mevius.5ch.net/test/read.cgi/tech/1530384293/
■長いソースを貼るときはここへ。■
http://codepad.org/
https://ideone.com/
[C++ FAQ]
https://isocpp.org/wiki/faq/
http://www.bohyoh.com/CandCPP/FAQ/ (日本語)
VIPQ2_EXTDAT: default:vvvvv:1000:512:----: EXT was configured ふとどうでもいいことを疑問に思ったのだが
structureが構造体ならclassは日本語にするとなんだ？ >>948
はてなにでも顛末を書いてくれると、全国2億2000万のBoostユーザーが助かりますね。 gdbのプロンプトでシェルの文法使う方法ある？
具体的にはfor文で配列を走査しながら内容をprintしたりしたい 質問ですがstd::type_treatsってテンプレートパラメータに自作クラスを入れても動くはずのもの？
具体的にいはstd::is_signed<T>()とか、 >>961
こゆこと？
struct T {};
template<>struct std::is_signed<T> : std::true_type {};
int main()
{
using namespace std;
cout << boolalpha << is_signed_v<T> << endl;
} >>963
ちょっと違っており特殊化せずにうまいことやってくれるのかという問いのつもり
つまり
class Foo {
（代入演算子四則演算とunary minusが定義されている）
};
という自作クラスFooがあったとして、実はstd::is_signed<Foo>()がうまいことやってくれてtrue/falseは勝手に決まるのかどうか、という質問
実は符号付きのはずの自作クラスで、エラーになりやがらないのにfalseが返されており
実際のところうまくいってないのですがｗｗｗｗ というわけで特殊化不可避かつstd::type_treatsが自作クラス用の特殊化を認める仕様であるという回答があれば
それはそれで有用な情報という境地に達した、
（実際どう考えてもstd::numeric_limits<T>::max()とかはTが自作クラスなら特殊化不可避のように思える ていうかMSVC2019のstd::is_signed<T>()の定義を見ていったら
1. is_integral_v<T>がtrue（Tが整数型）なら((T)-1 < (T)0)の真偽が結果
2. is_integral_v<T>がfalseならis_floating_point_v<T>（Tが浮動小数点型）の真偽が結果
3. 上記のどれにも当てはまらなければfalseが結果
ということのようで、自作クラスがTに入り込む余地は無いぽい（常に必然的に3の結果になる仕様 というわけでネットに転がっていた「符号を返すテンプレート」signnum<T>は、Tに自作クラスを渡したときエラーにならず
間違った結果を返すというたいへんおっかないﾌﾞﾂであることが判明いたので次のようにすた、
template <typename T>
inline constexpr int signnum(T x, std::false_type is_signed) {
(void)(is_signed);
return (T(0) < x);
}
template <typename T>
inline constexpr int signnum(T x, std::true_type is_signed) {
(void)(is_signed);
return (T(0) < x) - (x < T(0));
}
template <typename T>
inline constexpr int signnum(T x) {
// std::is_signed<T>()のTに整数型でも浮動小数点型でもない型を与えるとfalseが返され、
// 事実上意味をなさないため、Tが整数型でも浮動小数点型でもなければbNumericでエラーにする。
constexpr bool bNumeric = (std::is_integral<T>() || std::is_floating_point<T>());
static_assert(bNumeric, "*** ERR ***");
return signnum(x, std::is_signed<T>());
}
いじょ (void)(is_signed);
↑
これの意図は？ SFINAEでこうやっとけばよくね？
template <typename T> inline constexpr
auto signnum(T x) -> std::enable_if_t<std::is_signed_v<T>, bool>
{
return x < T(0);
} >>968
未使用変数のwarning対策、
警告レベルお/W4にしているもので、 >>964
std 内の定義の特殊化は「標準ライブラリの要件を満たす限り」という制限の範囲で許されている。
https://timsong-cpp.github.io/cppwp/n3337/namespace.std
仕様で偽値を返す場面を真値に変更するような特殊化は許されていないってこと。
(最新の仕様ではもっと厳しい制限がついてる。)
std::is_signed に関して仕様に反せずに自作クラスが真を返すということはあり得ないので
自前で特殊化しては駄目。
std::numeric_limits を特殊化する分にはアリ。 >>970
maybe_unusedではだめなん？
てか>>964みたいな単行演算子を調べるものは標準とは別に自分で作るべきだとおも >>970,972
使わない引数は仮引数名を書かないのがいい。 予約とか互換性の都合とかで残っているだけの仮引数なら名前を付けないほうがいいけど、
この場合はむしろ (関数内では) 使ってないからこそ用途を表す名前は付いていて欲しいけどな。
このあたりは感覚的な話かも。 仮引数は削ってしまってから後悔したことが多い希ｶﾞｽ
仮引数を文字列としては残すがいちいちコメントアウトするというのも作業性が落ちるし
だいたいCと共用するヘッダファイルでは仮引数名を削ることはできない
よって削らな〜い☆彡 >>971
> std::is_signed に関して仕様に反せずに自作クラスが真を返すということはあり得ないので
これはわかるが
> 自前で特殊化しては駄目。
何でこうなる？ >>970
だったら、これでええやん
template <typename T>
inline constexpr int signnum(T x, std::false_type) {
return (T(0) < x);
} >>971
真偽値なのに仕様に反せず特殊化するのは不可能ということで特殊化ダメ、って考えたんだろうけど
特殊化して本来の動作が全く変わらない、なんてのが有り得るのか？(あるとしてもやる意味が無い
仮に自作クラスの型で完全特殊化しても、元の動作とは異なる動作を生むわけだから
requirementsの意味がよくわからん >>975
使わない仮引数を削ると言ったらふつうヘッダでやる話じゃないだろう。
>仮引数を文字列としては残すがいちいちコメントアウトするというのも作業性が落ちるし
作業性は使うツールにもよるね。VSだったらダブルクリックで仮引数名を選択して
コメントアウトボタン押すだけの2ステップ。 >>978
いや、標準が提供するのは std::type_traits のような副作用のない判定用メタ関数だけではない。
例でたまに出てくるのは std::swap を効率化するというような話とか。
ムーブで効率的に入れ替えてはくれるけど、
クラスの特性によっては入れ替えのときに限ってもっと効率的にやれるかもしれない。
入れ替えるという結果が同じなら仕様に反しないし、
効率的にやれるなら特殊化する価値はある。
調べてもやり方の例としては出てくるものの具体的に効率的になる例は見つからんかったんだが。
実用的な例としてはアロケータの特殊化。
今では std::allocator ではなく std::allocator_traits を特殊化する形が推奨されているけど、
いずれにしても特殊化でやる前提で用意されている機能。 void somefunc(const int& a){...}
こんな感じの関数に
somefunc(0);だとうまく行かないが
const int hoge = 0;
somefunc(hoge);ならうまくいくんだが
somefunc(0)でエラーも警告も出ないのは仕様？ はい。
それで「うまく行かない」ってどういう状況なんでしょうね？ 関数入った瞬間に0インスタンスが消えるかして
関数の中で変な値になっとる
(最適化Os) 上の表現は正確じゃないな
class A{const int& hoge;public: A(const int& hoge):hoge(hoge){} void somefunc(){...} };
A a(0); a.somefunc(); // なんか変な値になってる
const int hoge = 0; A a(hoge); a.somefunc(); // 正しい挙動になる 最適化されたコードをデバッガで見て変な値が見えるという話なら、そんなこともあるだろうとしか。 >>985
それは仕様どおり。 A a(0) に渡された const int& の指すオブジェクトは一時オブジェクトで、寿命は ; まで。 >>987
あーそうなんすねえ・・・
うーん・・・
とりあえずありがとうございます いや、参照で保持するのをやめればいいだけの話だった
すっきりした、ありがとうございます >>987
え、だってconst&だよ
一時オブジェクトの寿命を延長せんの？ 寿命つまりスコープを制御したいなら、{}で囲めばok 固定小数点を作ろうとしててさ
struct fix
{
int minor, major;
friend auto operator <=> (const fix& lhs, const fix& rhs) = default;
};
int main()
{
fix a{1, 2};
fix b{2, 1};
cout << boolalpha;
cout << (a < b) << endl; //true
cout << (a > b) << endl; //false
}
俺はまだ大小関係を定義してないのに勝手に何かぬかしてるようなんだけど
= default; が邪魔で定義できない
どうすればいい？ >>993
答えらんねークズに用はねえよ
明日の朝でいいからダンプに轢かれて死ね 氏ねではなくマジで絶命しろ >>992
= defaultって書いたからその通り動作しているだけだと思うが？言ってることが支離滅裂。 >>994
愛のあるお言葉ですね
私はこう受け取りましたw
「答えらんねーバグに用はねえよ
明日の朝でいいからダンプで修正して直せ
ムリではなくマジで実装しろ」 = default; が邪魔って言ってんのに意味わかってねーやつの戯言 このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 1008日 12時間 44分 26秒 5ちゃんねるの運営はプレミアム会員の皆さまに支えられています。
運営にご協力お願いいたします。
───────────────────
《プレミアム会員の主な特典》
★ 5ちゃんねる専用ブラウザからの広告除去
★ 5ちゃんねるの過去ログを取得
★ 書き込み規制の緩和
───────────────────
会員登録には個人情報は一切必要ありません。
月300円から匿名でご購入いただけます。
▼ プレミアム会員登録はこちら ▼
https://premium.5ch.net/
▼ 浪人ログインはこちら ▼
https://login.5ch.net/login.php レス数が1000を超えています。これ以上書き込みはできません。
