🌐 AI搜索 & 代理 主页
Skip to content

Commit 93d4840

Browse files
lostmsulostmsu
committed
disabled using __float__ during implicit conversions to .NET floating point types
arbitrary Python objects are no longer implicitly converted to .NET bool type this is a continuation of #1568
1 parent 8d93c39 commit 93d4840

File tree

12 files changed

+134
-54
lines changed

12 files changed

+134
-54
lines changed

‎CHANGELOG.md‎

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -71,6 +71,9 @@ See [Mixins/collections.py](src/runtime/Mixins/collections.py).
7171
- BREAKING: When trying to convert Python `int` to `System.Object`, result will
7272
be of type `PyInt` instead of `System.Int32` due to possible loss of information.
7373
Python `float` will continue to be converted to `System.Double`.
74+
- BREAKING: Python.NET will no longer implicitly convert types like `numpy.float64`, that implement `__float__` to
75+
`System.Single` and `System.Double`. An explicit conversion is required on Python or .NET side.
76+
- BREAKING: Python.NET will no longer implicitly convert any Python object to `System.Boolean`.
7477
- BREAKING: `PyObject.GetAttr(name, default)` now only ignores `AttributeError` (previously ignored all exceptions).
7578
- BREAKING: `PyObject` no longer implements `IEnumerable<PyObject>`.
7679
Instead, `PyIterable` does that.

‎README.rst‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -77,7 +77,7 @@ Example
7777
dynamic sin = np.sin;
7878
Console.WriteLine(sin(5));
7979
80-
double c = np.cos(5) + sin(5);
80+
double c = (double)(np.cos(5) + sin(5));
8181
Console.WriteLine(c);
8282
8383
dynamic a = np.array(new List<float> { 1, 2, 3 });

‎src/embed_tests/NumPyTests.cs‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -40,7 +40,7 @@ public void TestReadme()
4040
dynamic sin = np.sin;
4141
StringAssert.StartsWith("-0.95892", sin(5).ToString());
4242

43-
double c = np.cos(5) + sin(5);
43+
double c = (double)(np.cos(5) + sin(5));
4444
Assert.AreEqual(-0.675262, c, 0.01);
4545

4646
dynamic a = np.array(new List<float> { 1, 2, 3 });

‎src/embed_tests/TestConverter.cs‎

Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -116,6 +116,13 @@ public void ConvertOverflow()
116116
}
117117
}
118118

119+
[Test]
120+
public void NoImplicitConversionToBool()
121+
{
122+
var pyObj = new PyList(items: new[] { 1.ToPython(), 2.ToPython() }).ToPython();
123+
Assert.Throws<InvalidCastException>(() => pyObj.As<bool>());
124+
}
125+
119126
[Test]
120127
public void ToNullable()
121128
{

‎src/python_tests_runner/PythonTestRunner.cs‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -33,8 +33,8 @@ public void Dispose()
3333
static IEnumerable<string[]> PythonTestCases()
3434
{
3535
// Add the test that you want to debug here.
36-
yield return new[] { "test_enum", "test_enum_standard_attrs" };
37-
yield return new[] { "test_generic", "test_missing_generic_type" };
36+
yield return new[] { "test_indexer", "test_boolean_indexer" };
37+
yield return new[] { "test_delegate", "test_bool_delegate" };
3838
}
3939

4040
/// <summary>

‎src/runtime/converter.cs‎

Lines changed: 71 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -2,6 +2,7 @@
22
using System;
33
using System.Collections;
44
using System.Collections.Generic;
5+
using System.Diagnostics;
56
using System.Globalization;
67
using System.Reflection;
78
using System.Runtime.InteropServices;
@@ -501,6 +502,44 @@ internal static bool ToManagedValue(IntPtr value, Type obType,
501502
return ToPrimitive(value, obType, out result, setError);
502503
}
503504

505+
/// <remarks>
506+
/// Unlike <see cref="ToManaged(BorrowedReference, Type, out object?, bool)"/>,
507+
/// this method does not have a <c>setError</c> parameter, because it should
508+
/// only be called after <see cref="ToManaged(BorrowedReference, Type, out object?, bool)"/>.
509+
/// </remarks>
510+
internal static bool ToManagedExplicit(BorrowedReference value, Type obType,
511+
out object? result)
512+
{
513+
result = null;
514+
515+
// this method would potentially clean any existing error resulting in information loss
516+
Debug.Assert(Runtime.PyErr_Occurred() == null);
517+
518+
string? converterName =
519+
IsInteger(obType) ? "__int__"
520+
: IsFloatingNumber(obType) ? "__float__"
521+
: null;
522+
523+
if (converterName is null) return false;
524+
525+
Debug.Assert(obType.IsPrimitive);
526+
527+
using var converter = Runtime.PyObject_GetAttrString(value, converterName);
528+
if (converter.IsNull())
529+
{
530+
Exceptions.Clear();
531+
return false;
532+
}
533+
534+
using var explicitlyCoerced = Runtime.PyObject_CallObject(converter, BorrowedReference.Null);
535+
if (explicitlyCoerced.IsNull())
536+
{
537+
Exceptions.Clear();
538+
return false;
539+
}
540+
return ToPrimitive(explicitlyCoerced, obType, out result, false);
541+
}
542+
504543
static object? ToPyObjectSubclass(ConstructorInfo ctor, PyObject instance, bool setError)
505544
{
506545
try
@@ -544,6 +583,8 @@ internal static int ToInt32(BorrowedReference value)
544583
return checked((int)num);
545584
}
546585

586+
private static bool ToPrimitive(BorrowedReference value, Type obType, out object? result, bool setError)
587+
=> ToPrimitive(value.DangerousGetAddress(), obType, out result, setError);
547588
/// <summary>
548589
/// Convert a Python value to an instance of a primitive managed type.
549590
/// </summary>
@@ -590,8 +631,21 @@ private static bool ToPrimitive(IntPtr value, Type obType, out object? result, b
590631
}
591632

592633
case TypeCode.Boolean:
593-
result = Runtime.PyObject_IsTrue(value) != 0;
594-
return true;
634+
if (value == Runtime.PyTrue)
635+
{
636+
result = true;
637+
return true;
638+
}
639+
if (value == Runtime.PyFalse)
640+
{
641+
result = false;
642+
return true;
643+
}
644+
if (setError)
645+
{
646+
goto type_error;
647+
}
648+
return false;
595649

596650
case TypeCode.Byte:
597651
{
@@ -768,6 +822,10 @@ private static bool ToPrimitive(IntPtr value, Type obType, out object? result, b
768822

769823
case TypeCode.Single:
770824
{
825+
if (!Runtime.PyFloat_Check(value) && !Runtime.PyInt_Check(value))
826+
{
827+
goto type_error;
828+
}
771829
double num = Runtime.PyFloat_AsDouble(value);
772830
if (num == -1.0 && Exceptions.ErrorOccurred())
773831
{
@@ -786,6 +844,10 @@ private static bool ToPrimitive(IntPtr value, Type obType, out object? result, b
786844

787845
case TypeCode.Double:
788846
{
847+
if (!Runtime.PyFloat_Check(value) && !Runtime.PyInt_Check(value))
848+
{
849+
goto type_error;
850+
}
789851
double num = Runtime.PyFloat_AsDouble(value);
790852
if (num == -1.0 && Exceptions.ErrorOccurred())
791853
{
@@ -933,6 +995,13 @@ private static bool ToArray(IntPtr value, Type obType, out object? result, bool
933995
result = items;
934996
return true;
935997
}
998+
999+
internal static bool IsFloatingNumber(Type type) => type == typeof(float) || type == typeof(double);
1000+
internal static bool IsInteger(Type type)
1001+
=> type == typeof(Byte) || type == typeof(SByte)
1002+
|| type == typeof(Int16) || type == typeof(UInt16)
1003+
|| type == typeof(Int32) || type == typeof(UInt32)
1004+
|| type == typeof(Int64) || type == typeof(UInt64);
9361005
}
9371006

9381007
public static class ConverterExtension

‎src/runtime/pyobject.cs‎

Lines changed: 15 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1293,7 +1293,21 @@ public override bool TryInvoke(InvokeBinder binder, object[] args, out object re
12931293

12941294
public override bool TryConvert(ConvertBinder binder, out object result)
12951295
{
1296-
return Converter.ToManaged(this.obj, binder.Type, out result, false);
1296+
// always try implicit conversion first
1297+
if (Converter.ToManaged(this.obj, binder.Type, out result, false))
1298+
{
1299+
return true;
1300+
}
1301+
1302+
if (binder.Explicit)
1303+
{
1304+
Runtime.PyErr_Fetch(out var errType, out var errValue, out var tb);
1305+
bool converted = Converter.ToManagedExplicit(Reference, binder.Type, out result);
1306+
Runtime.PyErr_Restore(errType.StealNullable(), errValue.StealNullable(), tb.StealNullable());
1307+
return converted;
1308+
}
1309+
1310+
return false;
12971311
}
12981312

12991313
public override bool TryBinaryOperation(BinaryOperationBinder binder, object arg, out object result)

‎tests/test_conversion.py‎

Lines changed: 15 additions & 32 deletions
Original file line numberDiff line numberDiff line change
@@ -13,53 +13,36 @@ def test_bool_conversion():
1313
"""Test bool conversion."""
1414
ob = ConversionTest()
1515
assert ob.BooleanField is False
16-
assert ob.BooleanField is False
1716
assert ob.BooleanField == 0
1817

1918
ob.BooleanField = True
2019
assert ob.BooleanField is True
21-
assert ob.BooleanField is True
2220
assert ob.BooleanField == 1
2321

2422
ob.BooleanField = False
2523
assert ob.BooleanField is False
26-
assert ob.BooleanField is False
2724
assert ob.BooleanField == 0
2825

29-
ob.BooleanField = 1
30-
assert ob.BooleanField is True
31-
assert ob.BooleanField is True
32-
assert ob.BooleanField == 1
33-
34-
ob.BooleanField = 0
35-
assert ob.BooleanField is False
36-
assert ob.BooleanField is False
37-
assert ob.BooleanField == 0
26+
with pytest.raises(TypeError):
27+
ob.BooleanField = 1
28+
29+
with pytest.raises(TypeError):
30+
ob.BooleanField = 0
3831

39-
ob.BooleanField = System.Boolean(None)
40-
assert ob.BooleanField is False
41-
assert ob.BooleanField is False
42-
assert ob.BooleanField == 0
32+
with pytest.raises(TypeError):
33+
ob.BooleanField = None
4334

44-
ob.BooleanField = System.Boolean('')
45-
assert ob.BooleanField is False
46-
assert ob.BooleanField is False
47-
assert ob.BooleanField == 0
35+
with pytest.raises(TypeError):
36+
ob.BooleanField = ''
4837

49-
ob.BooleanField = System.Boolean(0)
50-
assert ob.BooleanField is False
51-
assert ob.BooleanField is False
52-
assert ob.BooleanField == 0
38+
with pytest.raises(TypeError):
39+
ob.BooleanField = System.Boolean(0)
5340

54-
ob.BooleanField = System.Boolean(1)
55-
assert ob.BooleanField is True
56-
assert ob.BooleanField is True
57-
assert ob.BooleanField == 1
41+
with pytest.raises(TypeError):
42+
ob.BooleanField = System.Boolean(1)
5843

59-
ob.BooleanField = System.Boolean('a')
60-
assert ob.BooleanField is True
61-
assert ob.BooleanField is True
62-
assert ob.BooleanField == 1
44+
with pytest.raises(TypeError):
45+
ob.BooleanField = System.Boolean('a')
6346

6447

6548
def test_sbyte_conversion():

‎tests/test_delegate.py‎

Lines changed: 7 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -247,7 +247,7 @@ def test_bool_delegate():
247247
from Python.Test import BoolDelegate
248248

249249
def always_so_negative():
250-
return 0
250+
return False
251251

252252
d = BoolDelegate(always_so_negative)
253253
ob = DelegateTest()
@@ -256,6 +256,12 @@ def always_so_negative():
256256
assert not d()
257257
assert not ob.CallBoolDelegate(d)
258258

259+
def always_so_positive():
260+
return 1
261+
bad = BoolDelegate(always_so_positive)
262+
with pytest.raises(TypeError):
263+
ob.CallBoolDelegate(bad)
264+
259265
def test_object_delegate():
260266
"""Test object delegate."""
261267
from Python.Test import ObjectDelegate

‎tests/test_field.py‎

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -200,11 +200,11 @@ def test_boolean_field():
200200
ob.BooleanField = False
201201
assert ob.BooleanField is False
202202

203-
ob.BooleanField = 1
204-
assert ob.BooleanField is True
203+
with pytest.raises(TypeError):
204+
ob.BooleanField = 1
205205

206-
ob.BooleanField = 0
207-
assert ob.BooleanField is False
206+
with pytest.raises(TypeError):
207+
ob.BooleanField = 0
208208

209209

210210
def test_sbyte_field():

0 commit comments

Comments
 (0)