X
C++相談室 part153
レス数が950を超えています。1000を超えると書き込みができなくなります。
0851デフォルトの名無しさん
垢版 |
2020/12/23(水) 19:37:56.48ID:lj5PdyQr
1秒間に1万回くらい数値判定の計算をしてるのですが
Xが3桁の時のみTrueを返すようなコードで一番速いのってどんなコードですかね？
愚直にif(1000>X>=100)でやるのと
if(10>X/100>=1)ではどっちが速いんでしょうか
0853デフォルトの名無しさん
垢版 |
2020/12/23(水) 19:43:53.01ID:PgZc4XsV
多くのコンパイラは以下に変形しそうな気がする
if (X-100u<900u)

後者をコンパイラが最適化するかどうかはコンパイラ次第
0854デフォルトの名無しさん
垢版 |
2020/12/23(水) 19:47:49.74ID:PgZc4XsV
PCなら1秒に1万回程度なら気にしなくて良い
8bitマイコンだとこの判定だけでも10個以上の命令になったり
0855デフォルトの名無しさん
垢版 |
2020/12/23(水) 20:03:20.62ID:rWjdGSAm
長さ数十億のbool型配列用意すれば早いんじゃね
isDigit3[x] だけで出るじゃん
0857デフォルトの名無しさん
垢版 |
2020/12/23(水) 21:04:06.12ID:oO0RWe4j
根本的には、速度って環境依存の性質だから、本当に重要な話なら実測で確かめるしかない。

一般論としては、現代のコンパイラはそこらの人間より賢いから、やりたいことを素直に書いて最適化を任せるのがいい。
わかってない人が余計なことをやると、かえって遅くなる可能性が高い。

計算量のオーダーを変えるような、アルゴリズムレベルの最適化なら意味があるんだけど。
小手先のテクニックは通用しないと思っていい。
0858デフォルトの名無しさん
垢版 |
2020/12/23(水) 22:00:42.78ID:p3n5tJou
>>850
いうてほんとに定数式になってくれないと困る場面で定数評価してくれない事態に出くわしてないんだよなぁ・・
constexprなクラスとか作ってればあるのかもしれんが
0859デフォルトの名無しさん
垢版 |
2020/12/23(水) 22:21:55.80ID:JqE6cd4a
最適化にも限界はあるから、どういうコードの書き方ならコンパイラが最適化しやすいか、
ってのを知るのは必要なんやろうね
データアクセスの局所化とか偽の依存関係の除去とか
0860デフォルトの名無しさん
垢版 |
2020/12/23(水) 23:11:04.90ID:pgaSoeQc
typedefで二重定義になった場合さぁ…同じ型だとコンパイルエラーにはならないんだよ…
なんか気持ち悪いので…typedefだけのヘッダーを呼ぶようにしたけど…同じ型だとOKなん？
0861デフォルトの名無しさん
垢版 |
2020/12/23(水) 23:12:13.58ID:pgaSoeQc
ヘッダーに渡しても同じことか…相互参照してるんだった…
0862デフォルトの名無しさん
垢版 |
2020/12/23(水) 23:13:21.42ID:pgaSoeQc
一応…間違えないように…ヘッダーに集約しておく…
0863デフォルトの名無しさん
垢版 |
2020/12/23(水) 23:13:34.29ID:KqYWGLnc
Ruby VM では、1秒間に、100万回ループすると、
Ruby中間言語を、JIT で機械語にコンパイルして、

1秒間に、1,000万回ループ出来るようになる
0865デフォルトの名無しさん
垢版 |
2020/12/24(木) 06:19:28.22ID:TzdYJrci
サムソンを守るためのHuawei潰しという側面もある。
0867デフォルトの名無しさん
垢版 |
2020/12/24(木) 06:58:51.74ID:TzdYJrci
文大統領がトランプ大統領に、Huaweiを潰すよう勧めたそうです。
0869デフォルトの名無しさん
垢版 |
2020/12/24(木) 08:12:44.86ID:TzdYJrci
このプログラムは応答していないためシステムによって閉じられますって出るんじゃないの。
0871デフォルトの名無しさん
垢版 |
2020/12/24(木) 11:16:41.02ID:h4Gph9I0
>>854
手元の32bitマイコン（除算器なし）だと
uint16_t v; に値入ってたとして、
if(v >= 100 && v < 1000) よりは ((v >= 100) & (v < 100p
0872デフォルトの名無しさん
垢版 |
2020/12/24(木) 11:27:11.76ID:h4Gph9I0
>>871
途中で送ってもうたorz

((v >= 100) && (v < 1000))のが気休め速い感じだったな。
あとLUTもほぼ変わらん。LUTはもう少し複雑な計算で、
かつキャッシュにテーブルが入ってくると鬼速だろうけど。

単純な比較のみだからあまり速い方法ないのかもね〜
ダメ元で掛け算とビットシフトで/100する処理も試したけど
ちょっと遅くなったorz

つか、32bitマイコンだと100us周期程度の割り込みハンドラで
この水準まで自分は気にしないだす。
あとC++ならinline化とかその辺をまずチェックでしょうさ。
0873デフォルトの名無しさん
垢版 |
2020/12/24(木) 17:12:04.54ID:tg7gMCA8
>>872
if ((unsigned)v - 100u < 900u)
のが早くない？

テーブルは論外だ
アドレス計算コストの方が高そうだし
ROMサイズやキャッシュ汚染などの悪影響がある
0874デフォルトの名無しさん
垢版 |
2020/12/24(木) 19:53:19.25ID:9+0irhfK
if ((unsigned)v - 100u < 900u)
こういうのは減算とコンペア(実質減算)の2回の演算が常に走るから必ずしも速くないんじゃないかな。
&&で繋ぐ方がショートサーキットが働いて1回で済む場合がある。
演算で0との比較に落とせるなら別だけど。
0876デフォルトの名無しさん
垢版 |
2020/12/24(木) 21:38:01.43ID:B83YCBUh
比較がボトルネックってのは本当だろうかとは思わなくもない
まあ、データ転送とか切り詰めまくって残すは比較のみ、ってのもありうるけど
0877デフォルトの名無しさん
垢版 |
2020/12/24(木) 21:38:20.67ID:X8ie3AzF
整数の減算は非常に高速
条件分岐は遅いし分岐予測を汚染する

コンパイラの最適化を見てると良い
範囲判定は大抵>>873のようなコードになる
0878デフォルトの名無しさん
垢版 |
2020/12/24(木) 21:41:03.65ID:X8ie3AzF
コード的には普通に
if (100 <= x && x < 1000)
と書いておけば良い

コンパイラが最適化するから

x/100を比較するのは
意味的にも意味不明だし
速くなることもない
0879デフォルトの名無しさん
垢版 |
2020/12/24(木) 21:51:18.77ID:X8ie3AzF
ISRの最適化なら

レジスタを節約して待避する数を減らすとか
レジスタバンクを使ってレジスタを切り替えるとか
RAM上で実行するとか
割り込みを許可せずに高速化とか(MIPSの場合)
まあ色々とチューニング出来る余地がある

小規模DSPなんかだと
いまだにISRをアセンブラで書いたりする
0880デフォルトの名無しさん
垢版 |
2020/12/25(金) 14:04:51.84ID:L6KY61Ck
バンク切り替えテクニックですか。
むかしのインターフェース誌っぽいですね。
0882デフォルトの名無しさん
垢版 |
2020/12/25(金) 20:23:57.32ID:KGl9PDWX
template<size_t A, size_t B>
class tmp{};

template<size_t N>
void test(tmp<N, N>&){
std::cout << “A”;
}

template<size_t A, size_t B>
void test(tmp<A, B>&){
std::cout << “B”;
}

上のような関数があったときにtest(tmp<1,1>{});がどちらを呼ぶか規格で決まってる？
0884デフォルトの名無しさん
垢版 |
2020/12/26(土) 00:14:55.00ID:biNpl0R5
using FunctorType = std::function<void()>;
struct RecursiveMapperType;
using InternalMapperType = std::map<std::string, RecursiveMapperType>;
struct RecursiveMapperType : public InternalMapperType
{
RecursiveMapperType(){}
};

こういうコードをネットで見かけたんだけど
RecursiveMapperTypeを前方宣言してInternalMapperTypeを宣言
RecursiveMapperTypeをInternalMapperTypeを継承して作成していることのメリットがよくわからない。

struct RecursiveMapperType : public InternalMapperType
{
RecursiveMapperType(){}
};
using RecursiveMap = std::map<std::string, RecursiveMapperType>

だとだめなのだろうか？
誰か教えて下しあ
0885デフォルトの名無しさん
垢版 |
2020/12/26(土) 00:40:10.65ID:3VlCU3bq
>>884
上のコードと下のコードの RecursiveMapperType の定義はまったく同じに見えるんだけど、何が違うの？
0886デフォルトの名無しさん
垢版 |
2020/12/26(土) 00:50:04.37ID:biNpl0R5
>>885 さん
すみません。
下の方のRecursiveMapperTypeですが継承元消し忘れてました。
下のようなkたちです
struct RecursiveMapperType
{
RecursiveMapperType(){}
};
using RecursiveMap = std::map<std::string, RecursiveMapperType>
0888デフォルトの名無しさん
垢版 |
2020/12/26(土) 15:10:58.71ID:3VlCU3bq
>>886
それじゃ全然機能が違うっていうかその RecursiveMap 何の役にも立たないでしょ。
元の RecursiveMapperType の機能が理解できてないだけか。
0889デフォルトの名無しさん
垢版 |
2020/12/26(土) 16:40:20.18ID:vGzfsLf/
再帰的な構造を定義したくて自分自身の型を含めたものを継承してるわけで
それを実現するには前方宣言するしかない
というね
0890デフォルトの名無しさん
垢版 |
2020/12/26(土) 17:13:57.40ID:UNoc468U
再帰的なコンテナは、フィールドが出来た時点で破綻するのでは？
0892デフォルトの名無しさん
垢版 |
2020/12/27(日) 06:31:05.42ID:QkMmRpj8
C++23に持ち越された契約は何が変わるんだろね。
0893デフォルトの名無しさん
垢版 |
2020/12/27(日) 17:59:23.18ID:wQ5c+q6H
ありがとうございます。なんとなくイメージできました。

コードの設計ってまだよくわからないのですが、
再帰処理のためにこうするのって比較的普通なことなんですか？
0894デフォルトの名無しさん
垢版 |
2020/12/27(日) 18:23:25.49ID:tp3tetyk
>>893
知らんよ。
普通かどうかなんて気にしてどうするの？ここで名無しの誰かに yes/no 答えてもらって何か意味ある？
0895デフォルトの名無しさん
垢版 |
2020/12/27(日) 18:33:52.26ID:7Rx7y5wp
>>893
STLのクラスを継承して階層構造を実現するテクは応用編って感じがする
もっと基本的なやり方をするならデザパタのcompositeパターンを使う
とかかね
0897デフォルトの名無しさん
垢版 |
2020/12/27(日) 18:49:43.74ID:QkMmRpj8
ヘネパタ、パタヘネ、デザパタ。
0898デフォルトの名無しさん
垢版 |
2020/12/27(日) 22:11:00.35ID:QkMmRpj8
newのコストは気にされますが、deleteのコストは見逃されがちです。
0899デフォルトの名無しさん
垢版 |
2020/12/28(月) 02:23:23.12ID:ibU6N4ur
あるクラスのコンストラクタのデフォルト引数を変更するときってどうしたらいいの？
オーバーロードすれば良い？
0901デフォルトの名無しさん
垢版 |
2020/12/28(月) 07:33:40.98ID:pesKZps1
stlコンテナを継承するのはアウトだろ。
うまくやらないとデストラクタが呼ばれなくなっちゃうぞ
0902デフォルトの名無しさん
垢版 |
2020/12/28(月) 09:00:44.26ID:i4NtF28F
じゃあうまくやりましょうや。
0903デフォルトの名無しさん
垢版 |
2020/12/28(月) 09:44:51.94ID:bVWPeYFg
そもそもC++ではデストラクタを仮想にしてないってことは「継承すんなよ」って宣言だからなぁ
0904デフォルトの名無しさん
垢版 |
2020/12/28(月) 09:55:45.06ID:W/k+iOkV
なんで継承しないようにしたか意見表明文みたいなモンはどっかにあるのか？
0905デフォルトの名無しさん
垢版 |
2020/12/28(月) 10:20:49.88ID:ErVwTltE
仮想関数化するとしない場合に比べて余分なコストがかかるから、必要な理由がない限り基本的にそれは避けるということじゃないかな
0906デフォルトの名無しさん
垢版 |
2020/12/28(月) 10:32:20.80ID:4OiRlqvR
C++は1クロックでも速く動作させるために非仮想関数をデフォルトにしたのは理解できる
Javaは動作速度よりもオブジェクト指向の継承動作の一貫性を重視してすべて仮想関数にした、これも時代を考えれば理解できる
C#もJavaと同じくデフォルトを仮想関数にしておいて欲しかったのだが、C#はC++を尊重してデフォルト非仮想関数なんだよね
これはちょっと残念
0908デフォルトの名無しさん
垢版 |
2020/12/28(月) 12:34:23.27ID:QmdcnH/3
finalキーワードがこの時代にあれば間違いなく付けただろうな
文句言ってる奴はガイジ
0909デフォルトの名無しさん
垢版 |
2020/12/28(月) 12:42:44.62ID:UEnoPUHl
>>903
継承すんな、は言いすぎ。
private継承なら問題ないと思うけど。実際たまに使われているし。
0910はちみつ餃子 ◆8X2XSCHEME
垢版 |
2020/12/28(月) 13:19:25.85ID:N6A7dpOQ
デストラクタが仮想ではないものを継承したときの具体的な問題は
スライシングが起こりうるということと、
起こってもコンパイラが (少なくともコンパイル時には) 捕捉できないことが多いということにあって、
スライシングが起こらないように使う分には問題はない。

設計的に綺麗かどうかはまた別の話だけど。

shared_ptr が (デストラクタが仮想でなくても) 元の型のデストラクタを呼んでくれたりするんで、
場合によってはそういう設計もアリということなんだと思う。
0911デフォルトの名無しさん
垢版 |
2020/12/28(月) 14:12:57.70ID:02+J4aSB
>>910
デストラクタが仮想なものを継承してもスライシングは起こりうるよね？そこは関係なくね？
https://en.wikipedia.org/wiki/Object_slicing
> In C++ programming, object slicing occurs when an object of a subclass type
> is copied to an object of superclass type: the superclass copy will not have
> any of the member variables defined in the subclass. ...
0914デフォルトの名無しさん
垢版 |
2020/12/28(月) 17:50:37.04ID:i4NtF28F
自由に羽ばたける翼。
0916デフォルトの名無しさん
垢版 |
2020/12/28(月) 18:37:15.29ID:v+s+VlFU
だってCの設計思想が「人間を信用する」だもん
セキュリティが重視される現代的な言語のベースとしては致命的に合ってないんだよね
0917デフォルトの名無しさん
垢版 |
2020/12/28(月) 18:40:02.12ID:02+J4aSB
>>913
やっぱり関係がわからない。
デストラクタが仮想ではないものを継承したときに限ってスライシングが予想外のことや
メモリ管理の矛盾につがなる例をひとつでいいから見えてもらえない？
0919デフォルトの名無しさん
垢版 |
2020/12/28(月) 19:07:39.46ID:bVWPeYFg
A <|- B, C みたいなときにB, CをnewしてA*として管理しようとすると破棄の時にAのデストラクタしか呼ばれない
0920デフォルトの名無しさん
垢版 |
2020/12/28(月) 19:09:58.26ID:UEnoPUHl
>>911
仮想でないデストラクタが話題のスコープなのに、スライシングにスコープを移したら議論にならないでしょ。

911) デストラクタが仮想なものを継承する→スライシングになるものが存在する
という命題は
910) デストラクタが仮想ではないものを継承する→スライシングになるものが存在する
という命題と矛盾するわけではない（両立する）ので、その議論はあんまり意味がない。
0921デフォルトの名無しさん
垢版 |
2020/12/28(月) 19:14:08.97ID:i4NtF28F
スライシング・オプティマイザーとかどうよ？
0922デフォルトの名無しさん
垢版 |
2020/12/28(月) 19:36:49.42ID:02+J4aSB
>>910
> スライシングが起こらないように使う分には問題はない。
ここもおかしいんだよね。

デストラクタが仮想ではないものを継承して派生クラスのオブジェクトを new で作って
基底クラスのポインタを通して delete したら未定義動作になるわけだけど、
これはスライシングを起こしていなくても問題になる。

「派生クラスのオブジェクトを new で作って基底クラスのポインタを通して delete」のことを
「スライシング」と呼んでる気配もあるんだけど、それは明らかに誤りだろうし。
0923デフォルトの名無しさん
垢版 |
2020/12/28(月) 19:43:43.44ID:592FfNkQ
>>900
変更ってどうやるの？
毎回好きな引数を与えよってこと？
面倒なので、自分の好きな引数を自分のコードの中ではデフォルトにできれば良いのにと思ったのだが、こういう考えは間違っていますか
0925デフォルトの名無しさん
垢版 |
2020/12/28(月) 19:59:11.40ID:v+s+VlFU
デストラクタはpublic仮想かprotected非仮想かpublic非仮想finalのどれかにしろ
っていう一般的結論でよくね
0926デフォルトの名無しさん
垢版 |
2020/12/28(月) 21:21:17.65ID:sYj4+JXZ
>>925
自分で書くときはそう
標準のコンテナのように既存のクラスがそうでなかったら？が発端だからなぁ

個人的には仮想デストラクタがなければ継承はしない
(一部のイディオムを除けば)private継承にするくらいなら委譲する。
0927デフォルトの名無しさん
垢版 |
2020/12/28(月) 21:54:56.73ID:wzipnhb8
デストラクタがprotected:であっても非仮想なら継承したらアウトなんじゃ…
派生クラスの破棄時に基底クラスのデストラクタが呼ばれない
的な意味で
0928デフォルトの名無しさん
垢版 |
2020/12/28(月) 21:57:44.66ID:dWPs/bUX
>>924
オブジェクトを作るための関数を作ってはどうかという意味ですか？
確かにそれで良いのでそうします
0929デフォルトの名無しさん
垢版 |
2020/12/29(火) 07:11:18.52ID:2gsaGKLd
相称型プログラミング。
0930デフォルトの名無しさん
垢版 |
2020/12/29(火) 07:28:15.94ID:2gsaGKLd
いま私大事なこと言いましたよ。
0932デフォルトの名無しさん
垢版 |
2020/12/29(火) 07:38:50.44ID:2gsaGKLd
【CSS規格、読書感想文】
CSSがアイデアであった段階からスクリプト言語で実装され、初の大規模採用であったネットスケープにおいてもJavascriptによって実装されていたため、規格そのものがC/C++で効率的になるよう設計されていない。※
現行の規格に対して効率的な実装を施したとしても、将来の規格バージョンで維持できると限らないため、結局、スクリプト言語と同様の非効率を許容することになる。
これはつまり、ほとんどのシンボルを動的に確保することを意味する。

※HTML5規格は、C/C++で効率的に実装できるように仕組まれている。
0933デフォルトの名無しさん
垢版 |
2020/12/29(火) 07:48:03.75ID:UwKcs/oz
なるほどねー
そもそもCSSのCって要る？
もはやスタイルシートってサイト作成者が決めるものになっているよね
ユーザースタイルシートをカスケード適用できる機能もなくせばさらに効率よくできそう
0936デフォルトの名無しさん
垢版 |
2020/12/29(火) 09:18:16.16ID:qLyTNuLW
定期的に話題になるけど、基底のデストラクタにvirtualが必要なのは
基底型のポインタでdeleteするときだけな
末端のデストラクタさえ呼べれば、次に呼ぶ基底の型は分かりきってるからね

別の言い方をすれば、常に末端の型のポインタをdeleteする分には、virtualなデストラクタなんか要らんということ
0938デフォルトの名無しさん
垢版 |
2020/12/29(火) 12:13:46.12ID:2gsaGKLd
ポリリズムから出汁をとったみたいないい方しますね。
0940デフォルトの名無しさん
垢版 |
2020/12/29(火) 14:33:08.60ID:kdP0thHS
>>936
その点については誰もが一度は通る勘違いだよなｗ
最初はわけも分からず機械的にvirtualつけて回ってたわ
0942デフォルトの名無しさん
垢版 |
2020/12/31(木) 05:29:21.52ID:/Sdg/sCQ
struct A { virtual void Delete() { delete this; } };
struct B : A { void Delete() { delete this; } };
こうなってりゃ別にいらんな
0943デフォルトの名無しさん
垢版 |
2020/12/31(木) 11:50:06.55ID:zS3i4lwe
>>795 の同期とか奇妙な質問に思うけど、Javaからくるとそうなるんだな。
0946デフォルトの名無しさん
垢版 |
2020/12/31(木) 13:43:11.73ID:zS3i4lwe
deleteのコストは、ほんと気にされないな。
0949蟻人間 ◆T6xkBnTXz7B0
垢版 |
2020/12/31(木) 15:40:19.22ID:+0BPso5e
>>950

> 「a=1 かつ b=1 以外なら実行」って条件式はどう書くの？

「「a=1 かつ b=1」以外なら実行」なら、
if (!(a == 1 && b == 1)) { 実行(); }

「a=1 かつ「b=1以外」なら実行」なら、
if (a == 1 && b != 1) { 実行(); }
レス数が950を超えています。1000を超えると書き込みができなくなります。
ニューススポーツなんでも実況