Skip Navigation

lawmurray

@ lawmurray @programming.dev

Posts
6
Comments
9
Joined
3 yr. ago

Open source developer of Doxide for modern C++ documentation, and Birch for probabilistic programming.

  • [OpenSuSE Tumbleweed] Move installed packages with zypper

    Jump

  • You might want to confirm that it is indeed zypper packages before you rearrange too much: Disk Usage Analysis on the desktop, or du -sch * on the console will get you some numbers by directory. It could also be cached packages, clean them up with zypper clean --all.

    I'm not sure about specifying different destination directories with zypper, but you could try installing something like vscode from Flatpak rather than zypper, and specifying --user so it goes into your home directory (if that's a different partition).

    I'd also look at your containers with podman and clean up any old ones, they can take up a lot of space.

  • Forwarding references, overload resolution, and seizing back control

    Jump

  • Nice. I'd not thought of that one.

  • C++: Disable implicit conversion in specific contexts only

    Jump

  • For the array type it can be useful to allow implicit copy to different arithmetic types (design choice, I'm now back to explicit constructors to disallow this for what it's worth). If allowed though, I still wanted a compile time check like this to ensure that it wasn't happening by accident in particular circumstances.

  • C++: Disable implicit conversion in specific contexts only

    Jump

  • Yes, that's right, generic context, and you may be right on return value optimization. It was for implementing a collection of numerical functions that take array arguments, where the elements of those arrays could be of various arithmetic types, and the return type should be an array of a particular arithmetic type given promotion etc. The implementation was generic, and I was wanting to validate its correctness wrt return values having the correct arithmetic type without implicit copy.

  • C++: Disable implicit conversion in specific contexts only

    Jump

  • That's a fair criticism around relying on implicit type conversion mechanics, and part of the tradeoff to make. On the other hand, I imagine (and my imagination may be limited) that one downside of static_assert is to increase verbosity, something like:

     cpp
        
auto r = f();
static_assert(std::is_same_v<decltype(r),MyReturnType>> || !is_expensive_conversion_v<MyReturnType>);
return r;
  • C++ @programming.dev
    lawmurray @programming.dev

    C++: Disable implicit conversion in specific contexts only

    indii.org /blog/cplusplus-disable-implicit-conversion-in-specific-contexts/

  • I have a problem creating trees

    Jump

  • Nice, good luck with it from here!

  • I have a problem creating trees

    Jump

  • This would be better style in my opinion, but by way of correctness it seems the more fundamental issue is "return" missing in the if... else if... blocks.

  • I have a problem creating trees

    Jump

  • Your get() function will always just return the value of the root node. I think you mean to have return get(value, ...) in each of its if statements.

  • C++ @programming.dev
    lawmurray @programming.dev

    Combinatorial instantiation of C++ templates with std::variant

    indii.org /blog/revisited-combinatorial-instantiation-of-templates-with-std-variant/