Add TextFlag

[somebadcode]

• Added TextFlag which supports setting values for types that satisfies both encoding.TextMarshaller and encoding.TextUnmarshaller which is very handy when you want to set log levels or string-like types that satisfies the interfaces.

Fixes: #2051

What type of PR is this?

• feature

What this PR does / why we need it:

Making it easier to set types that satisfies encoding.TextMarshaller and encoding.TextUnmarshaller such as log/slog.LogLevelVar, using flags as see in the standard library's flag.

Which issue(s) this PR fixes:

Fixes #2051

Release Notes

Added `TextFlag` to support setting values for types that satisfy both  `encoding.TextMarshaller` and `encoding.TextUnmarshaller`.

[Juneezee]

Thanks for your contribution! 😊

Just a few comments regarding the tests. If possible, please add a few more test cases to cover edge cases and improve coverage.

[somebadcode]

I've discovered a limitation of the way the FlagBase forces you to have T and *T. That's not suitable in this case when when it would be better for it to be encoding.TextMarshaler and encoding.TextUnmarshaler.

So the interface that I created does not equate to those two to the extent that it allows the user of the package to just put their implementation in like you can with flag.TextVar.

	text := &MockMarshaller{}

	cmd := &Command{
		Name: "foo",
		Flags: []Flag{
			&TextFlag{
				Name:        "mytext",
				Value:       text,
				Destination: &text,
			},
		},
	}

This is not valid. Because &text is of type **MockMarshaller and not *TextMarshaler. Type assertion for a simple case like this is unpleasant.

So I would either have to not use the FlagBase and re-implement everything that it gives or FlagBase must be refactored to allow for two disparate types to be used for value and destination like flag.TextVar does.

[dearchap]

@somebadcode can you send me the test code you are using for this ? I think it should be like this.

	text := MockMarshaller{}

	cmd := &Command{
		Name: "foo",
		Flags: []Flag{
			&TextFlag{
				Name:        "mytext",
				Value:       text,
				Destination: &text,
			},
		},
	}

[somebadcode]

@somebadcode can you send me the test code you are using for this ? I think it should be like this.

	text := MockMarshaller{}

	cmd := &Command{
		Name: "foo",
		Flags: []Flag{
			&TextFlag{
				Name:        "mytext",
				Value:       text,
				Destination: &text,
			},
		},
	}

Test code:

type MockMarshaller struct {
	text []byte
}

var _ encoding.TextMarshaler = (*MockMarshaller)(nil)
var _ encoding.TextUnmarshaler = (*MockMarshaller)(nil)

func (m *MockMarshaller) MarshalText() ([]byte, error) {
	return m.text, nil
}

func (m *MockMarshaller) UnmarshalText(text []byte) error {
	m.text = text
	return nil
}

func TestTextFlagValueFromCommand(t *testing.T) {
	text := &MockMarshaller{}

	cmd := &Command{
		Name: "foo",
		Flags: []Flag{
			&TextFlag{
				Name:        "mytext",
				Value:       text,
				Destination: &text,
			},
		},
	}
}

Code that I'm trying to test:

func (cmd *Command) Text(name string) TextMarshalUnmarshaler {
	if v, ok := cmd.Value(name).(TextMarshalUnmarshaler); ok {
		tracef("text available for flag name %[1]q with value=%[2]v (cmd=%[3]q)", name, v, cmd.Name)
		return v
	}

	tracef("text NOT available for flag name %[1]q (cmd=%[2]q)", name, cmd.Name)
	return nil
}

This is what I've added but not committed yet.

[dearchap]

@somebadcode I think the problem is you are trying to use the same instance for both Value and Destination. Generally this distinction is present when you have "simple" types

Value: 10,
Destination: &fooInt

You should test your code like this

Value: text1,
Destination: &text2,

where text1 is a pointer to marshaller/unmarshaller and text2 is a simple reference

[somebadcode]

@somebadcode I think the problem is you are trying to use the same instance for both Value and Destination. Generally this distinction is present when you have "simple" types

Value: 10,
Destination: &fooInt

You should test your code like this

Value: text1,
Destination: &text2,

where text1 is a pointer to marshaller/unmarshaller and text2 is a simple reference

Why would pointing back to the same one matter?
The whole issue is that it's a pointer to an interface and an interface is already a pointer to the implementation. In this case, we want to accept two distinct types for Value and Destination, encoding.TextMarshaler and encoding.TextUnmarshaler respectively, like flag.TextVar does.

In your example text1 would be a pointer to the implementation, which does satisfy the interface. We don't need to have a pointer to an interface in Destination, all we care about is that it satisfies a different interface. (see example further down)

Both Value and Destination should be plain interfaces and not pointers to interfaces.
To satisfy an interface, you must give it a pointer to the implementation after which the interface contains the pointer. So passing that interface around would be the same as passing a pointer to the implementation around. So Destination doesn't need to be a pointer and having a pointer to an interface is pointless in this case and gives us issues like this.

The type FlagBase is too strict in so far that it only works with simple types when it should work with any type with ease.

Because of the constraints of FlagBase, in Destination we must have a pointer to an interface that we're passing in as Value and to be able to do that we need to have our own interface that consists of the two interfaces that we would otherwise use for Value and Destination separately.

So FlagBase[encoding.TextMarshaler, encoding.TextUnmarshaler, TextValue] is essentially what we want.
So forcing T and *T is a huge hurdle in this case. It would be easier if we could have them completely separate and the need for TextMarshalUnmarshaler goes away and the flag would use the interfaces provided by the standard library.

Separating the two would make this implementation less complicated and those who want to add their own custom implementations for their special flags would have an easier time if it wouldn't be this constrained.

So if FlagBase is changed to this:

type FlagBase[T any, T2 any, C any, VC ValueCreator[T, T2, C]] struct {
	// ...
	Value		T	`json:"defaultValue"`
	Destination	T2	`json:"-"`
	// ...
}

This would enable us to do:

type TextFlag = FlagBase[encoding.TextMarshaler, encoding.TextUnmarshaler, StringConfig, TextValue]

This would make the implementation cleaner, more explicit and easier to use.

Simple types such as StringFlag would look like this:

type StringFlag = FlagBase[string, *string, StringConfig, StringValue]

More explicit typing reduces the constraints and increases the versatility at minimal cost (no increased runtime cost).

Look at the standard library's flag.TextVar for how it should be done when it comes to accepting interfaces for flags. The default value and the destination are two distinct interfaces, neither of them are pointers to interfaces because interfaces are already pointing to the implementations, which can be incompatible implementations.

[dearchap]

@somebadcode I like that idea. Do you want include the FlagBase changes in this PR ? or should I make a separate PR for that ?

[somebadcode]

@somebadcode I like that idea. Do you want include the FlagBase changes in this PR ? or should I make a separate PR for that ?

That would be a big change not directly related to this PR but an improvement on FlagBase itself. To make the commit history easier to follow, it should be a separate PR.

So this PR can be rebased on top of that once the changes are merged.

Also, what would the generic type be? T and T2 seems weird, but maybe T and DT or something.

[dearchap]

@somebadcode I started working on adding a new Destination Type and ran into some issues. I dont think its that trivial to add. I dont have cycles to spare this week so I'm not sure when I will get around to it. For now I would suggest if you use GenericValue as your base or do this particular flag as a custom flag satisfying all the necessary interfaces. When we get around to making the Destination Type change I can look into compacting TextFlag into this.

[somebadcode]

@somebadcode I started working on adding a new Destination Type and ran into some issues. I dont think its that trivial to add. I dont have cycles to spare this week so I'm not sure when I will get around to it. For now I would suggest if you use GenericValue as your base or do this particular flag as a custom flag satisfying all the necessary interfaces. When we get around to making the Destination Type change I can look into compacting TextFlag into this.

I tried to do the same but ran into issues with ArgumentBase. So I haven't even managed to run tests yet.
So it looks like more refactoring is needed than just changing the types. The flags that cover the simple types and slices of such types seems to work but the ArgumentBase is much more tricky.

I'll look into changing the TextFlag implementation to not use the generic structs with these limitations.

[dearchap]

@somebadcode Thinking about this a bit more. Cant you achieve the same behavior using a GenericValueFlag ? Say you used

   GenericFlag{
       Name: "test",
       Destination: textValue(&slog.Logger{})
  }

Would that fit the bill itself ? I am wary of adding more code into the cli library

[somebadcode]

@somebadcode Thinking about this a bit more. Cant you achieve the same behavior using a GenericValueFlag ? Say you used

   GenericFlag{
       Name: "test",
       Destination: textValue(&slog.Logger{})
  }

Would that fit the bill itself ? I am wary of adding more code into the cli library

What is GenericValueFlag? I can't find anything generic that resembled that. The the whole thing about T and *T makes this tricky and I can't see how I can make this work and not be pain to use.

[dearchap]

@somebadcode Here is the test code I posted in the issue #2051 (comment)

[dearchap]

If you want to remove the GenericFlag templating of FlagBase and have both GenericFlag.Value and GenericFlag.Destination be set to cli.Value type it might be better suited for your use case ?